You are here: Home :: Area NEM :: Engineering :: Automation

Manfred Morari, A. Bemporad, D. Mignone

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

Mixed Logical Dynamical (MLD) systems were introduced as 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 (optical 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.

at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag

Print ISSN: 0178-2312
Volume: 47, 08/1999
Pages: 374

Journal homepage (external site)

Show all available items of this journal

 

Area NEM