Introduction to hybrid automata

DOI10.1142/9789814271059_0013MaRDI QIDQ4907865zbMATH OpenOpenAlexFDO

Authors Madhu Gopinathan, Pavithra Prabhakar

Publication date 26 February 2013

Published in Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814271059_0013

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Inclusion dynamics hybrid automata
• scientific article; zbMATH DE number 1507210
• Reachability Problems for Hybrid Automata
• Some problems of analysis of hybrid automata
• What's decidable about hybrid automata?

Cited in

(11)

• Some problems of analysis of hybrid automata
• Decidable hybrid systems
• Expressive power of hybrid systems with variables, parameters and arrays
• Equivalent state-dependent models of linear hybrid automata
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• Hybrid automata with finite bisimulations
• Hybrid automata: an insight into the discrete abstraction of discontinuous systems
• Hybrid automation extended model
• Hybrid Systems: Computation and Control
• Monitoring of dynamic processes by rectangular hybrid automata
• Inclusion dynamics hybrid automata

This page was built for publication: Introduction to hybrid automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907865)