Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Controllers for reachability specifications for hybrid systems

Author(s):

J. Lygeros, C. J. Tomlin, S. Sastry
Conference/Journal:

Automatica, pp. 349-370
Abstract:

The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal control, for determining the class of least restrictive controllers that satisȚes the most important objective (which we refer to as safety). The system performance with respect to lower priority objectives (which we refer to as eŠciency) can then be optimized within this class. We motivate our approach by showing how the proposed synthesis technique simpliȚes to well-known results from supervisory control and pursuit evasion games when restricted to purely discrete and purely continuous systems respectively. We then illustrate the application of this technique to two examples, one hybrid (the steam boiler benchmark problem), and one primarily continuous (a Fight vehicle management system with discrete Fight modes).(

Year:

1999
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@Article { LygTom:1999:IFA_2547,
    author={J. Lygeros and C. J. Tomlin and S. Sastry},
    title={{Controllers for reachability specifications for hybrid
	  systems}},
    journal={Automatica},
    year={1999},
    volume={},
    number={},
    pages={349--370},
    month=mar,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=2547}
}
Permanent link