As soon as possible: Time optimal control for timed automata
E880524
"As soon as possible: Time optimal control for timed automata" is a research paper in formal methods and control theory that studies how to synthesize strategies achieving time-optimal behavior in systems modeled by timed automata.
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf | research paper ⓘ |
| addresses |
control of systems with clocks and timing constraints
ⓘ
synthesis of controllers that minimize time to reach a goal ⓘ time-optimal behavior in timed systems ⓘ |
| aimsTo |
compute optimal strategies under timing constraints
ⓘ
minimize time to satisfy a specification ⓘ |
| analyzes |
optimal paths in timed transition systems
ⓘ
reachability times in timed automata ⓘ |
| appliesTo |
reactive systems with timing constraints
ⓘ
real-time systems ⓘ |
| assumes | systems modeled with clocks and clock constraints ⓘ |
| concerns |
controller-environment interaction in timed settings
ⓘ
quantitative properties of timed systems ⓘ |
| contributesTo |
methods for automatic controller synthesis
ⓘ
theory of timed games ⓘ |
| dealsWith |
optimization in formal models
ⓘ
quantitative verification ⓘ |
| field |
control theory
ⓘ
formal methods ⓘ theoretical computer science ⓘ |
| focusesOn |
controller synthesis for real-time systems
ⓘ
optimal scheduling in timed models ⓘ reachability under timing constraints ⓘ synthesizing time-optimal strategies ⓘ |
| keywords |
formal verification
ⓘ
real-time systems ⓘ strategy synthesis ⓘ time-optimal control ⓘ timed automata ⓘ |
| proposes | algorithms for time-optimal strategy synthesis ⓘ |
| relatedTo |
game theory on timed automata
ⓘ
model checking ⓘ optimal control ⓘ scheduling theory ⓘ verification of real-time systems ⓘ |
| studies |
strategy synthesis
ⓘ
time-optimal control problems ⓘ timed automata ⓘ |
| typeOfResult |
algorithmic
ⓘ
theoretical ⓘ |
| usesModel | timed automata ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.