On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically

DOI10.1080/00207170310001628570zbMATH Open1044.93041OpenAlexW1967754004MaRDI QIDQ4454754FDOQ4454754

Authors: M. P. Spathopoulos 

Publication date: 8 March 2004

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/On_a_simplified_untiming_procedure_for_supervisory_control_of_timed_automata_when_the_time_increases_strictly_monotonically/96515

Recommendations

• A uniform framework for timed automata
• Supervisory control of timed discrete-event systems
• scientific article; zbMATH DE number 1303059
• Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
• Timed-automata abstraction of switched dynamical systems using control invariants
• Time-bounded reachability for monotonic hybrid automata: complexity and fixed points
• Supervisory control of (max,+) automata: extensions towards applications
• Supervisory control of timed discrete-event systems under partial observation
• Superposition as a decision procedure for timed automata
• Approximating Continuous Systems by Timed Automata

zbMATH Keywords

discrete event systemsupervisory controltimed automatonuntimed language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Hierarchical systems (93A13) System structure simplification (93B11) Discrete event control/observation systems (93C65)

This page was built for publication: On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically

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