scientific article; zbMATH DE number 1794382

MaRDI QIDQ4552483zbMATH OpenFDO

Authors Roberto Segala, Nancy Lynch, F. Vaandrager

Publication date 3 September 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2034/20340403

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Hybrid I/O automata.
• scientific article; zbMATH DE number 1507210
• scientific article; zbMATH DE number 1956640
• Verification of Hybrid Systems
• HyTech: A model checker for hybrid systems

Cited in

(8)

• Hybrid I/O automata.
• Hybrid systems: Modelling and analysis using emergent dynamics
• True-concurrency probabilistic models: Markov nets and a law of large numbers
• scientific article; zbMATH DE number 4213439 (Why is no real title available?)
• scientific article; zbMATH DE number 1956640 (Why is no real title available?)
• Modeling objects moving in a complex environment with world automata
• Modelling implicit communication in multi-agent systems with hybrid input/output automata
• Understanding deadlock and livelock behaviors in hybrid control systems

This page was built for publication:

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