Results 301 to 310 of about 1,755,572 (349)

Path Planning and Cooperative Control for Automated Vehicle Platoon Using Hybrid Automata

IEEE transactions on intelligent transportation systems (Print), 2019
Cooperative driving systems may increase the utilization of road infrastructure resources through coordinated control and platooning of individual vehicles with the potential of enhancing both traffic safety and efficiency. Vehicle cooperative driving is
Zichao Huang, Duanfeng Chu, Chaozhong Wu, Yi He   +3 more
semanticscholar   +1 more source

Polyhedral Flows in Hybrid Automata

Formal Methods in System Design, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ALUR R, KANNAN S, LA TORRE, Salvatore
openaire   +2 more sources

Intelligent Safe Driving Methods Based on Hybrid Automata and Ensemble CART Algorithms for Multihigh-Speed Trains

IEEE Transactions on Cybernetics, 2019
Considering both the tracking safety of multi-HSTs and the operational efficiency of a single HST, intelligent safe driving methods (ISDMs) are proposed to obtain better speed–distance curves by integrating hybrid automata (HA) with data mining ...
Ruijun Cheng, Wei Yu, Yongduan Song, Dewang Chen, Xiaoping Ma, Yu Cheng   +5 more
semanticscholar   +1 more source

Discreteness, hybrid automata, and biology

2008 9th International Workshop on Discrete Event Systems, 2008
Most of the observable natural phenomena exhibit a mixed discrete-continuous behavior characterized by laws changing according to a phase cycle. Such behaviors can be modeled in a very natural way by a class of automata called hybrid automata. In this class the evolution of measurable quantities, such as concentrations, is represented according to both
CASAGRANDE, A, PIAZZA, Carla, POLICRITI, Alberto   +2 more
openaire   +3 more sources

Discrete-Time Hybrid Automata Learning: Legged Locomotion Meets Skateboarding

Robotics
Hybrid dynamical systems, which include continuous flow and discrete mode switching, can model robotics tasks like legged robot locomotion. Model-based methods usually depend on predefined gaits, while model-free approaches lack explicit mode-switching ...
Hang Liu, Sangli Teng, Ben Liu, Wei Zhang, Maani Ghaffari   +4 more
semanticscholar   +1 more source

(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program

Journal of Logic and Computation, 2011
We define a semantics for stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra, in terms of stochastic hybrid automata with piecewise deterministic continuous dynamics. To each program we associate a lattice of hybrid models, parameterized with respect to the degree of discreteness left.
BORTOLUSSI, LUCA, Policriti P.
openaire   +3 more sources

A Precision Irrigation Model Using Hybrid Automata

American Society of Agricultural and Biological Engineers. Transactions, 2019
HighlightsControl theory applied to precision irrigation reduces water consumption and improves crop productivity.A model-based control using hybrid automata is proposed to describe soil, crop, and weather dynamics.The model was developed and validated ...
C. Lozoya, A. Favela-Contreras, Alberto Aguilar-Gonzalez, L. Orona   +3 more
semanticscholar   +1 more source

Hybrid automata-based CEGAR for rectangular hybrid systems

Formal Methods in System Design, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Prabhakar, Pavithra, Duggirala, Parasara Sridhar, Mitra, Sayan, Viswanathan, Mahesh   +3 more
openaire   +1 more source

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates

American Control Conference, 2018
In this paper, we provide a toolchain that facilitates the integration of formal verification techniques into model-based design. Applying verification tools to industrially relevant models requires three main ingredients: a formal model, a formal ...
Goran Frehse, Nikolaos Kekatos, D. Ničković, Jens Oehlerking, S. Schuler, A. Walsch, M. Woehrle   +6 more
semanticscholar   +1 more source

Diagnosability Verification for Hybrid Automata

2007
We define a notion of diagnosability for hybrid automata, which generalizes the notion of observability. We propose a procedure to check diagnosability on a given hybrid automaton, and show that the complexity of the verification problem is in PTIME. We apply our procedure to an electromagnetic valve system for camless engines.
DI BENEDETTO, MARIA DOMENICA, S. Di Gennaro, D'INNOCENZO, ALESSANDRO   +2 more
openaire   +3 more sources