Controller synthesis for dynamic hierarchical real-time plants using timed automata

DOI10.1007/s10626-017-0240-2zbMath1379.93051OpenAlexW2605203018MaRDI QIDQ1693828

Andrzej Wąsowski, Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie

Publication date: 31 January 2018

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-017-0240-2

zbMATH Keywords

dynamictimed automatacontroller synthesistimed I/O automatacompositional plantshierarchical plantsreusable designsstate-space reduction techniquetimed process automata

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Hierarchical systems (93A13) Synthesis problems (93B50) Dynamical aspects of cellular automata (37B15)

Related Items (1)

SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time

Uses Software

• Uppaal
• UPPAAL TIGA
• Synthia
• Modechart

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A survey of timed automata for the development of real-time systems
• A theory of timed automata
• Symbolic model checking for real-time systems
• Timed automata with urgent transitions
• Discrete-time control for rectangular hybrid automata
• Task automata: Schedulability, decidability and undecidability
• Timed I/O automata
• The Theory of Timed I/O Automata
• Robust Specification of Real Time Components
• On the synthesis of discrete controllers for timed systems
• A Model for Industrial Real-Time Systems
• Minimum-Time Reachability in Timed Games
• Model Checking Probabilistic Timed Automata with One or Two Clocks
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Controller synthesis for dynamic hierarchical real-time plants using timed automata