Approximate Time-Optimal Control Via Approximate Alternating Simulations. Jr, M., M. & Tabuada, P. In American Control Conference, pages 1009-1014, 2010.
abstract   bibtex   
Symbolic models of control systems have recently been used to synthesize controllers enforcing specifications given by temporal logics, regular languages, or automata. These specification mechanisms can be regarded as qualitative since they divide the set of trajectories into bad trajectories (those that should be eliminated by control) and good trajectories (those that need not be eliminated). In many situations, however, a quantitative specification, where each trajectory is assigned a cost, is more appropriate. As a first step towards the synthesis of controllers enforcing qualitative and quantitative specifications we investigate in this paper the use of symbolic models for time-optimal controller synthesis. Our results show that it is possible to obtain upper and lower bounds for the time to reach a desired target by an algorithmic analysis of the symbolic model. Moreover, we can also algorithmically synthesize a feedback controller enforcing the upper bound. All the algorithms have been implemented using Binary Decision Diagrams and are illustrated by some examples. © 2010 AACC.
@inProceedings{
 title = {Approximate Time-Optimal Control Via Approximate Alternating Simulations},
 type = {inProceedings},
 year = {2010},
 identifiers = {[object Object]},
 keywords = {Computational methods,Optimal control,Quantized systems},
 pages = {1009-1014},
 id = {975f5a6b-c8d9-3372-8072-ad0915bc6f92},
 created = {2016-09-15T12:46:44.000Z},
 accessed = {2016-09-15},
 file_attached = {false},
 profile_id = {147aee4a-6b08-371c-aedb-7839b1042d18},
 last_modified = {2016-09-15T13:39:23.000Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 abstract = {Symbolic models of control systems have recently been used to synthesize controllers enforcing specifications given by temporal logics, regular languages, or automata. These specification mechanisms can be regarded as qualitative since they divide the set of trajectories into bad trajectories (those that should be eliminated by control) and good trajectories (those that need not be eliminated). In many situations, however, a quantitative specification, where each trajectory is assigned a cost, is more appropriate. As a first step towards the synthesis of controllers enforcing qualitative and quantitative specifications we investigate in this paper the use of symbolic models for time-optimal controller synthesis. Our results show that it is possible to obtain upper and lower bounds for the time to reach a desired target by an algorithmic analysis of the symbolic model. Moreover, we can also algorithmically synthesize a feedback controller enforcing the upper bound. All the algorithms have been implemented using Binary Decision Diagrams and are illustrated by some examples. © 2010 AACC.},
 bibtype = {inProceedings},
 author = {Jr, Manuel Mazo and Tabuada, Paulo},
 booktitle = {American Control Conference}
}
Downloads: 0