A unified framework for hybrid control: model and optimal control theory
- 1 January 1998
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 43 (1) , 31-45
- https://doi.org/10.1109/9.654885
Abstract
We propose a very general framework that systematizes the notion of a hybrid system, combining differential equations and automata, governed by a hybrid controller that issues continuous-variable commands and makes logical decisions. We first identify the phenomena that arise in real-world hybrid systems. Then, we introduce a mathematical model of hybrid systems as interacting collections of dynamical systems, evolving on continuous-variable state spaces and subject to continuous controls and discrete transitions. The model captures the identified phenomena, subsumes previous models, yet retains enough structure to pose and solve meaningful control problems. We develop a theory for synthesizing hybrid controllers for hybrid plants in all optimal control framework. In particular, we demonstrate the existence of optimal (relaxed) and near-optimal (precise) controls and derive "generalized quasi-variational inequalities" that the associated value function satisfies. We summarize algorithms for solving these inequalities based on a generalized Bellman equation, impulse control, and linear programming.Keywords
This publication has 27 references indexed in Scilit:
- A unified framework for hybrid controlPublished by Springer Nature ,2005
- A unified framework for hybrid controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Models for hybrid systems: Automata, topologies, controllability, observabilityPublished by Springer Nature ,1993
- Hybrid SystemsPublished by Springer Nature ,1993
- Impulse control of piecewise-deterministic processes via linear programmingIEEE Transactions on Automatic Control, 1991
- Mathematical Control TheoryPublished by Springer Nature ,1990
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machinesBulletin of the American Mathematical Society, 1989
- Differential automata and their discrete simulatorsNonlinear Analysis, 1987
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- A class of hybrid-state continuous-time dynamic systemsIEEE Transactions on Automatic Control, 1966