Logicbased Control
Tutorial
workshop for the
10th Mediterranean Conference on
Control and Automation
July 912, 2002,
in Lisbon, Portugal
The overall objective of this tutorial session is
to overview a variety of theoretical tools for synthesizing and analyzing
logicbased switching control systems. By a logicbased control system we mean
a system that combines continuous dynamics (typically modeled by differential
or difference equations) with logicdriven elements. These systems are often
also called hybrid.
An important category of such systems are those
consisting of a continuoustime process to be controlled, a family of
fixedgain or variablegain candidate controllers, and an eventdriven
switching logic called a supervisor whose job is to determine in real time
which controller should be applied to the process. Examples of supervisory
control systems include reconfigurable systems, fault correction systems, and
certain types of parameteradaptive systems. Major reasons for introducing
logic and switching are to deal with communication, actuator and sensor
constraints, with model uncertainty, with unforeseen events or to avoid
performing difficult tasks e.g., precise equipment calibration which might
otherwise be necessary were one to consider only conventional controls.
The aim of this workshop is to provide an overview
of algorithms with these capabilities, as well as to discuss various techniques
for analyzing the types of switched systems that result.
Organizers
Joćo Hespanha
University of California at Santa Barbara
Room 3121, Engineering I
Electrical & Computer
Eng.
University of California
Santa Barbara, CA 93106
USA
Tel: +1 (805) 8937042
Fax: +1 (805) 8933262
hespanha at ece.ucsb.edu

Daniel Liberzon
University of Illinois at UrbanaChampaign
Coordinated Science Laboratory
Univ. of Illinois
1308 W. Main Street
Urbana, IL 61801
USA
Tel: +1 (217) 2446750
Fax: +1 (217) 2441653
liberzon at uiuc.edu

Program
Session I: Switched Control Systems (Liberzon)
1. Why
switched control systems?
2. Applications
of switched control
3. Stability
of switched systems I
4. Stability
of switched systems II
These lectures (PowerPoint
slides) are based on the manuscript:
Daniel Liberzon,
Control
using Logic and Switching, Dec 2001.
Session II: Switched Supervisory Control (Hespanha)
5. Supervisory
control architecture
6. Estimatorbased
linear supervisory control
7. Estimatorbased
nonlinear supervisory control
8. Supervisory
control applications
These lectures (PowerPoint
slides) are based on the manuscript:
Joćo Hespanha, Tutorial on Supervisory Control, Nov. 2001.