Robust hybrid control from a behavioural perspective

Abstract

This paper investigates the synthesis of discrete supervisors for hybrid systems where the control objective is to enforce a language inclusion specification in the presence of plant's uncertainty. The discussion is set within Willems' behavioural system theory, where we find a relationship between the robustness of closed-loop performance and earlier results on abstraction based synthesis. From this relationship, we develop our main result: a method for the synthesis of robust supervisory controllers. Note that virtually any engineering system must possess a certain amount of robustness in order to fulfil even minimal reliability requirements. This commonly accepted fact is of a particular importance for hybrid control systems, since the motivating application areas are safety-critical and high-confidence systems as air traffic control or medical instrumentation.

Original document

The different versions of the original document can be found in:

• http://people.eng.unimelb.edu.au/davoren/00-cdc2002_moor_davoren_anderson.pdf

• http://xplorestaging.ieee.org/ielx5/8437/26567/01184672.pdf?arnumber=1184672,

http://dx.doi.org/10.1109/cdc.2002.1184672

• https://openresearch-repository.anu.edu.au/handle/1885/91969,

https://digitalcollections.anu.edu.au/handle/1885/91969,

https://academic.microsoft.com/#/detail/2141488098