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

DOI10.1080/00207170310001628570MaRDI QIDQ4454754zbMATHOpenAlexFDO

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

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)

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

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)