scientific article; zbMATH DE number 1303059
From MaRDI portal
Publication:4249561
zbMath0952.93064MaRDI QIDQ4249561
Publication date: 11 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
time-optimal controltimed automataquantitative propertybackward fixed-point calculationtimed game automaton
Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Linear optimal control problems (49N05)
Related Items (31)
Expected reachability-time games ⋮ Hierarchical planning in a supervisory control context with compositional abstraction ⋮ Scheduling with timed automata ⋮ Performance Evaluation of Schedulers in a Probabilistic Setting ⋮ Model Checking Real-Time Systems ⋮ On the optimal reachability problem of weighted timed automata ⋮ Optimal paths in weighted timed automata ⋮ Automata-theoretic decision of timed games ⋮ Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems ⋮ Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata ⋮ MR4UM: a framework for adding fault tolerance to UML state diagrams ⋮ Finite automata on timed \(\omega\)-trees ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ Optimal controller synthesis for timed systems ⋮ Timed Control with Observation Based and Stuttering Invariant Strategies ⋮ Synthesizing bounded-time 2-phase fault recovery ⋮ Unnamed Item ⋮ Optimal Reachability in Divergent Weighted Timed Games ⋮ Concavely-Priced Timed Automata ⋮ Time-optimal control for discrete-time hybrid automata ⋮ Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata ⋮ Optimal infinite scheduling for multi-priced timed automata ⋮ On subgame perfect equilibria in turn-based reachability timed games ⋮ Time-constrained temporal logic control of multi-affine systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Reachability Games of Ordinal Length ⋮ Computing efficient operation schemes for chemical plants in multi-batch mode ⋮ Supervisory target control for hybrid systems ⋮ Symbolic Approximation of Weighted Timed Games ⋮ Timed network games
This page was built for publication:
