By Topic

Synthesis of supervisory controllers for hybrid systems based on approximating automata

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Niinomi, T. ; Mitsubishi Heavy Ind. Ltd., Hiroshima, Japan ; Krogh, B.H. ; Cury, J.E.R.

Considers a class of continuous-time hybrid systems with discrete-valued input signals and event-based output signals. The internal continuous-state dynamics depend on the value of the input signal, and output events occur when the state trajectory encounters threshold manifolds in the state space. The supervisor is allowed to switch the input signal value when threshold events are observed. The objective is to synthesize a nonblocking supervisor (in the ω-language sense) such that the threshold event language is within given upper and lower bounds. The authors show how the problem can be converted into a supervisor synthesis for a discrete event system. A solution can then be obtained through the construction of a finite-state generator with a language which is an outer approximation to the exact original DES plant for the original hybrid system. An iterative algorithm is presented for constructing increasingly refined outer approximations. It is shown that supervisors synthesized for the approximating automata achieve the control specifications when applied to the original hybrid system

Published in:

Decision and Control, 1995., Proceedings of the 34th IEEE Conference on  (Volume:2 )

Date of Conference:

13-15 Dec 1995