Results 261 to 270 of about 38,502 (282)
Some of the next articles are maybe not open access.
Embeddings of Hybrid Automata in Process Algebra
2004We study the expressive power of two modelling formalisms, viz. hybrid automata and µCRL t . The automaton based language of hybrid automata is a popular formalism that is used for describing and analysing the behaviours of hybrid systems. The process algebraic language µCRL t is designed for specifying real-time and data-dependent systems and to ...
openaire +3 more sources
An Introduction to Hybrid Automata
2005ion methods are used to simplify models and make their analysis more tractable. Several equivalence relations have been studied for subclasses of hybrid systems. For example, it can be shown that transition systems of timed automata admit finite state abstractions, called region graphs, that are time-abstract bisimilar, see [7] for details.
openaire +2 more sources
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces
ACM Transactions on Cyber-Physical Systems, 2022Xiaodong Yang +2 more
exaly
On the regularization of Zeno hybrid automata
Systems and Control Letters, 1999Karl H Johansson +2 more
exaly
Biologically-inspired push recovery capable bipedal locomotion modeling through hybrid automata
Robotics and Autonomous Systems, 2015Vijay Bhaskar Semwal, G C Nandi
exaly
Group and Total Dissipativity and Stability of Multi-Equilibria Hybrid Automata
IEEE Transactions on Automatic Control, 2013Eva M Navarro-Lopez
exaly
Languages and models for hybrid automata: A coalgebraic perspective
Theoretical Computer Science, 2018Renato Neves, Luis S Barbosa
exaly
Hybrid automata-based CEGAR for rectangular hybrid systems
Formal Methods in System Design, 2015Pavithra Prabhakar +2 more
exaly