scientific article; zbMATH DE number 1303059
From MaRDI portal
Publication:4249561
Recommendations
Cited in
(38)- Finite automata on timed \(\omega\)-trees
- Symbolic synthesis of masking fault-tolerant distributed programs
- On subgame perfect equilibria in turn-based reachability timed games
- Timed network games
- Hierarchical planning in a supervisory control context with compositional abstraction
- Time-constrained temporal logic control of multi-affine systems
- Scheduling with timed automata
- On the optimal reachability problem of weighted timed automata
- Optimal infinite scheduling for multi-priced timed automata
- Computing efficient operation schemes for chemical plants in multi-batch mode
- Expected reachability-time games
- Symbolic minimum expected time controller synthesis for probabilistic timed automata
- Optimal reachability in divergent weighted timed games
- Performance evaluation of schedulers in a probabilistic setting
- Model Checking Real-Time Systems
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Concavely-Priced Timed Automata
- Automata-theoretic decision of timed games
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
- MR4UM: a framework for adding fault tolerance to UML state diagrams
- On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically
- Supervisory target control for hybrid systems
- Timed network games with clocks
- scientific article; zbMATH DE number 7559498 (Why is no real title available?)
- Symbolic Approximation of Weighted Timed Games
- Determinisability of register and timed automata
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
- On Reachability Games of Ordinal Length
- Time-optimal control for discrete-time hybrid automata
- Optimal paths in weighted timed automata
- Optimal controller synthesis for timed systems
- Timed games and deterministic separability
- Playing stochastically in weighted timed games to emulate memory
- Decidability of one-clock weighted timed games with arbitrary weights
- Synthesis of robust optimal real-time systems
- Playing stochastically in weighted timed games to emulate memory
- Time for timed monitorability
- Synthesizing bounded-time 2-phase fault recovery
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249561)
