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