Results 231 to 240 of about 2,669 (298)

(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.
Luca Bortolussi, Alberto Policriti
openaire   +3 more sources

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

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

Hybrid automata: from verification to implementation

International Journal on Software Tools for Technology Transfer, 2017
Stanley Bak, Omar Ali Beg, Sergiy Bogomolov   +2 more
exaly   +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

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

2009
Hybrid automata is a modeling formalism for hybrid systems that results from an extension of finite-state machines by associating with each discrete state a continuous-state model. Conditions on the continuous evolution of the system invoke discrete state transitions.
Kowalewski, S, GARAVELLO, MAURO, Guéguen, H, Herberich, G, Langerak, R, Piccoli, B, Polderman, J, Weise, C.   +7 more
openaire   +4 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-González, L. Orona   +3 more
semanticscholar   +1 more source

On Transfinite Hybrid Automata

2005
In this paper, we propose a new method to deal with hybrid systems based on the concept of the nonstandard analysis and the Buchi's transfinite automata. An essential point of the method is a generalization of hybrid automata with hyperfinite iteration of an infinitesimal transition in * ℝ.
Katsunori Nakamura, Akira Fusaoka
openaire   +1 more source

Biologically-inspired push recovery capable bipedal locomotion modeling through hybrid automata

Robotics and Autonomous Systems, 2015
Vijay Bhaskar Semwal, G C Nandi
exaly   +2 more sources