On the design of hybrid control systems using automata models

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

Wang Ji, Dang Van Hung

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)

Cites Work

• Title not available (Why is that?)
• Hybrid systems
• A calculus of durations
• A theory of timed automata

Related Items (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)