Back to Search
Start Over
Symbolic approximate time-optimal control
- Source :
- Systems & Control Letters, 60(4), 256-263. ELSEVIER SCIENCE BV
- Publication Year :
- 2011
- Publisher :
- Elsevier BV, 2011.
-
Abstract
- There is an increasing demand for controller design techniques capable of addressing the complex requirements of todays embedded applications. This demand has sparked the interest in symbolic control where lower complexity models of control systems are used to cater for complex specifications given by temporal logics, regular languages, or automata. These specification mechanisms can be regarded as qualitative since they divide the trajectories of the plant into bad trajectories (those that need to be avoided) and good trajectories. However, many applications require also the optimization of quantitative measures of the trajectories retained by the controller, as specified by a cost or utility function. As a first step towards the synthesis of controllers reconciling both qualitative and quantitative specifications, we investigate in this paper the use of symbolic models for time-optimal controller synthesis. We consider systems related by approximate (alternating) simulation relations and show how such relations enable the transfer of time-optimality information between the systems. We then use this insight to synthesize approximately time-optimal controllers for a control system by working with a lower complexity symbolic model. The resulting approximately time-optimal controllers are equipped with upper and lower bounds for the time to reach a target, describing the quality of the controller. The results described in this paper were implemented in the Matlab Toolbox Pessoa which we used to workout several illustrative examples reported in this paper.<br />17 pages, 2 figures, journal
- Subjects :
- 93C10, 93C62, 93C30, 93A30
0209 industrial biotechnology
General Computer Science
Computer science
Control (management)
Systems and Control (eess.SY)
02 engineering and technology
Upper and lower bounds
020901 industrial engineering & automation
Regular language
Control theory
FOS: Mathematics
FOS: Electrical engineering, electronic engineering, information engineering
0202 electrical engineering, electronic engineering, information engineering
CONTROL-SYSTEMS
AUTOMATA
Electrical and Electronic Engineering
Mathematics - Optimization and Control
Mechanical Engineering
HYBRID SYSTEMS
Control engineering
Function (mathematics)
Approximate simulation relations
Automaton
Optimization and Control (math.OC)
Control and Systems Engineering
Control system
Hybrid system
Computer Science - Systems and Control
SAFETY PROPERTIES
Approximate time-optimal control
020201 artificial intelligence & image processing
Symbolic control
Subjects
Details
- ISSN :
- 01676911
- Volume :
- 60
- Database :
- OpenAIRE
- Journal :
- Systems & Control Letters
- Accession number :
- edsair.doi.dedup.....a1b5ffe85fa1c7b49c8c8fe564b995d1