Design of controllers for linear hybrid systems

DOI10.1007/BFB0027803MaRDI QIDQ6560368zbMATH OpenFDO

Authors Rupak Majumdar, R. K. Shyamasundar

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/BFB0027803

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• An invariant-based approach to the design of hybrid control systems
• On the controller synthesis for linear hybrid systems
• A logical DES approach to the design of hybrid control systems
• Hybrid systems modeling and control
• scientific article; zbMATH DE number 1301611

Cites work

• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• Hybrid systems
• The algorithmic analysis of hybrid systems

This page was built for publication: Design of controllers for linear hybrid systems

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