scientific article; zbMATH DE number 1956640

MaRDI QIDQ4418003zbMATH OpenFDO

Authors Sayan Mitra, Yong Wang, Eric Feron, Nancy Lynch

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2623/26230343.htm

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Application models in control theory (93C95)

Recommendations

• Hybrid I/O automata.
• scientific article; zbMATH DE number 1794382
• Verification of Hybrid Systems
• Periodically Controlled Hybrid Systems
• HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY

Cited in

(5)

• Hybrid I/O automata.
• Verification of Hybrid Systems
• Periodically Controlled Hybrid Systems
• scientific article; zbMATH DE number 1794382 (Why is no real title available?)
• Modeling objects moving in a complex environment with world automata

Describes a project that uses

Uses Software

• HyTech

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 Q4418003)