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

DOI10.1080/00207170310001628570zbMATH Open1044.93041OpenAlexW1967754004MaRDI QIDQ4454754FDOQ4454754

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 👍 👎
• Title not available (Why is that?) 👍 👎
• 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)