A Framework for Control, State Estimation, Fault Detection, and Verification of Hybrid Systems

Mixed Logic Dynamical (MLD) systems were introduced as a new system type by the authors recently. The MLD form is capable to model a broad class of systems arising in many applications, among them: linear hybrid systems; sequential logical systems (finite state machines, automata); piecewise linear systems. The paper reviews this modeling paradigm and gives an overview of the many control related problems (optimal feedback, estimation, fault detection) which can be formulated and solved in this framework. Generally, the on-line solution of Mixed-Integer Linear Programs or Mixed-Integer Quadratic Programs is required. Strategic formulations and taylored search procedures are proposed, so that this task should be feasible for problems of reasonable size. © Oldenbourg Verlag.