On the design of hybrid control systems using automata models

DOI10.1007/3-540-62034-6_46zbMATH Open1541.68214MaRDI QIDQ6567765FDOQ6567765

Authors: Dang Van Hung, Wang Ji 

Publication date: 5 July 2024

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

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)

Cites Work

• A theory of timed automata
• Title not available (Why is that?)
• A calculus of durations
• 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)