On the synthesis of discrete controllers for timed systems
From MaRDI portal
Publication:4596624
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)