Keywords: اتوماتای هیبرید; Coalgebra; Hybrid automata; Bisimulation; Regular expression;
مقالات ISI اتوماتای هیبرید (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: اتوماتای هیبرید; Hybrid automata; Reachability; Controller synthesis;
Keywords: اتوماتای هیبرید; AUV control; Underwater robot; Mechatronic object-oriented design; Hybrid automata; Real-time UML/SysML; MDA;
Keywords: اتوماتای هیبرید; Hybrid systems; Liveness; Stability analysis; Discontinuous systems; Hybrid automata;
Keywords: اتوماتای هیبرید; Humanoid locomotion; Hybrid system; Hybrid automata; Dynamic system; Push recovery; Component based modeling;
Keywords: اتوماتای هیبرید; Hybrid automata; Quantitative verification; Approximate verification; Pacemaker;
Keywords: اتوماتای هیبرید; Cancer progression; Hybrid automata; Automatic therapy design; Controller synthesis; Belief; Tests;
Keywords: اتوماتای هیبرید; Bipedal locomotion; Hybrid automata; BIP framework; Opensim; Human gait
A Hybrid Automata model of social networking addiction
Keywords: اتوماتای هیبرید; Computational models; Hybrid Automata; Simulation; Scale-free networks; Dopamine System; Internet addiction; Social networks;
New MPPT algorithm for PV applications based on hybrid dynamical approach
Keywords: اتوماتای هیبرید; MPPT; Hybrid automata; Photovoltaic system; Multicellular converter;
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
Keywords: اتوماتای هیبرید; Hybrid automata; Zeno behavior; Hybrid systems; Rigorous computations; Validated numerics;
In the quantitative automata zoo
Keywords: اتوماتای هیبرید; Quantitative verification; Markov decision processes; Timed automata; Hybrid automata; Compositional modelling
Modeling the cell cycle: From deterministic models to hybrid systems
Keywords: اتوماتای هیبرید; Hybrid automata; Cell cycle
Modelling and control of a flying robot interacting with the environment
Keywords: اتوماتای هیبرید; UAV; Hybrid automata; Trajectory tracking; Path following; Nonlinear control
Hybrid-automaton models for simulating systems with sliding motion: still a challenge
Keywords: اتوماتای هیبرید; Hybrid systems; Discontinuous systems; Hybrid automata; Computational models; Friction; Simulation; Stateflow
Design Principles for an Extendable Verification Tool for Hybrid Systems
Keywords: اتوماتای هیبرید; Hybrid automata; support functions; reachability
Behaviour Prediction and Simulation of Partition-Based Biological Models – Some Open Issues of Lattice Paradigms
Keywords: اتوماتای هیبرید; complex systems; hybrid systems; state space partition; hybrid automata; biological modelling; difference equation; simulation
Robot learning language — Integrating programming and learning for cognitive systems
Keywords: اتوماتای هیبرید; Robot learning; Robot control language; Hybrid automata; Cognitive systems
Linear coupled component automata for MILP modeling of hybrid systems
Keywords: اتوماتای هیبرید; Hybrid automata; Modeling frameworks; Optimization; Discrete-continuous systems
A unified approach to controllability analysis for hybrid control systems
Keywords: اتوماتای هیبرید; Hybrid control systems; Controllability; Hybrid automata
Modeling and analysis using hybrid Petri nets
Keywords: اتوماتای هیبرید; Hybrid dynamic systems; D-elementary hybrid Petri nets; Hybrid automata; Controller synthesis
Hybrid port–Hamiltonian systems: From parameterized incidence matrices to hybrid automata
Keywords: اتوماتای هیبرید; Hybrid dynamical systems; Modeling; Hybrid automata; Dynamic network graph; Incidence matrix; Analysis; Admissible configurations; Constrained configurations
Optimal control of discrete-time hybrid automata under safety and liveness constraints
Keywords: اتوماتای هیبرید; Hybrid automata; Switched systems; Safety constraints; Liveness constraints
A hybrid systems framework for cellular processes
Keywords: اتوماتای هیبرید; Systems biology; Cellular processes; (M,R)-theory; Dynamical model; Hybrid automata;