On the synthesis of discrete controllers for timed systems

DOI10.1007/3-540-59042-0_76zbMATH Open1379.68227OpenAlexW2144965436MaRDI QIDQ4596624FDOQ4596624

Authors: Oded Maler, Amir Pnueli, Joseph Sifakis

Publication date: 4 December 2017

Published in: STACS 95 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59042-0_76

Recommendations

A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
Template-based controller synthesis for timed systems
scientific article; zbMATH DE number 1497853
Verification, performance analysis and controller synthesis for real-time systems
Logical time control of concurrent DES

Formal languages and automata (68Q45) Applications of game theory (91A80) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Synthesis problems (93B50)

Cited In (98)

Optimal paths in weighted timed automata
A survey of timed automata for the development of real-time systems
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Synthesis of Fixed Structure Controllers for Discrete Time Systems
Symbolic synthesis of masking fault-tolerant distributed programs
Viable set computation for hybrid systems
Dynamic controllability via timed game automata
Robust safety of timed automata
A survey of stochastic \(\omega \)-regular games
Scheduling with timed automata
Backward symbolic optimal reachability in weighted timed automata
Timed modal logics for real-time systems. Specification, verification and control
A method for the modular synthesis of controllers for timed discrete-event systems
Games for synthesis of controllers with partial observation.
Solving games via three-valued abstraction refinement
Robust Controller Synthesis in Timed Automata
Control and synthesis of non-interferent timed systems
Time-scale synthesis of a closed-loop discrete optimal control system
Efficient on-the-fly algorithm for checking alternating timed simulation
Robust specification of real time components
Timed Control with Observation Based and Stuttering Invariant Strategies
Supervisory control and reactive synthesis: a comparative introduction
Verification and synthesis of timing contracts for embedded controllers
Discrete-time control for rectangular hybrid automata
Weak, strong, and strong cyclic planning via symbolic model checking
Realizability of real-time logics
Modularity for timed and hybrid systems
Conditional simple temporal networks with uncertainty and decisions
Compositional and symbolic synthesis of reactive controllers for multi-agent systems
Using logic to solve the submodule construction problem
STORMED Hybrid Games
A supervisory control method for ensuring the conformance of real-time discrete event systems
Methodologies for specification of real-time systems using timed I/O automata
Non-interference control synthesis for security timed automata
Interface synthesis and protocol conversion
Supervisory control of hybrid systems based on model abstraction and guided search
From finite automata toward hybrid systems (Extended abstract)
A turn-based approach for qualitative time concurrent games
Zeno hybrid systems
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Graph Games and Reactive Synthesis
Model Checking Real-Time Systems
Synthesizing bounded-time 2-phase fault recovery
Verification, performance analysis and controller synthesis for real-time systems
Optimal controller synthesis for timed systems
Crossing the Bridge between Similar Games
A game approach to the parametric control of real-time systems
Logical time control of concurrent DES
Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
Synthesis of secure adaptors
Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
Specifications for decidable hybrid games
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Grid automata and supervisory control of dense real-time discrete event systems
Automatic synthesis of a subclass of schedulers in timed systems.
Template-based controller synthesis for timed systems
Optimal and robust controller synthesis using energy timed automata with uncertainty
Controller synthesis for hybrid systems with a lower bound on event separation
Symbolic model checking in non-Boolean domains
Hybrid automata with finite bisimulations
Structural measures for games and process control in the branch learning model
Synthesis of Non-Interferent Timed Systems
Robust synthesis for real-time systems
Approximately bisimilar symbolic models for randomly switched stochastic systems
Sound and automated synthesis of digital stabilizing controllers for continuous plants
Automatic synthesis of switching controllers for linear hybrid systems: safety control
Controller/orchestrator synthesis via filtration
Learning to win process-control games watching game-masters
Minimum Attention Controller Synthesis for Omega-Regular Objectives
Model-based verification, optimization, synthesis and performance evaluation of real-time systems
Effective strategies for enumeration games
On the relation between reactive synthesis and supervisory control of non-terminating processes
Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions
Timed games with bounded window parity objectives
Title not available (Why is that?)
Maximally permissive controller synthesis for time Petri nets
Cancer hybrid automata: model, beliefs and therapy
Discrete-time control for rectangular hybrid automata
The complexity of automated addition of fault-tolerance without explicit legitimate states
Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
A state class based controller synthesis approach for time Petri nets
Compatibility of refining and controlling plant automata with bisimulation quotients
A control synthesis approach for time discrete event systems
Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
Parity games on temporal graphs
Dynamic controllability of temporal networks with instantaneous reaction
Symbolic models for retarded jump-diffusion systems
The Complexity of Bounded Synthesis for Timed Control with Partial Observability
Verifying untimed and timed aspects of the experimental batch plant
On Scheduling Policies for Streams of Structured Jobs
New results on timed specifications
A direct symbolic algorithm for solving stochastic Rabin games
Taming large bounds in synthesis from bounded-liveness specifications
Timed automata verification and synthesis via finite automata learning
Title not available (Why is that?)
Temporal Robustness of Stochastic Signals
Lazy abstraction-based controller synthesis

This page was built for publication: On the synthesis of discrete controllers for timed systems

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