On the design of hybrid control systems using automata models

DOI10.1007/3-540-62034-6_46MaRDI QIDQ6567765zbMATHFDO

Authors Dang Van Hung, Wang Ji

Publication date 5 July 2024

Mathematics Subject Classification ID

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

Recommendations

• A logical DES approach to the design of hybrid control systems
• scientific article; zbMATH DE number 1301611
• Controllers for reachability specifications for hybrid systems
• scientific article; zbMATH DE number 1303068
• On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• A calculus of durations
• A theory of timed automata
• Hybrid systems

Cited in

(1)

• State estimation for constant-time labeled automata under dense time

This page was built for publication: On the design of hybrid control systems using automata models

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