Multi-level hierarchical interface-based supervisory control

• Published in: Automatica (Oxford) Vol. 46; no. 7; pp. 1152 - 1164
• Main Authors: Hill, R.C., Cury, J.E.R., de Queiroz, M.H., Tilbury, D.M., Lafortune, S.
• Format: Journal Article
• Language: English
• Published: Kidlington Elsevier Ltd 01.07.2010; Elsevier
• Subjects: Applied sciences; Architecture; Automation; Complexity; Computation; Computer science; control theory; systems; Control theory. Systems; Discrete event systems; Exact sciences and technology; Hierarchical control; Modelling and identification; Reduction; Specifications; Supervisors; Supervisory control; Supervisory control; Discrete event systems; Hierarchical control; Reduced order systems; Supervision; Discrete event system
• ISSN: 0005-1098; 1873-2836
• DOI: 10.1016/j.automatica.2010.04.002

Hierarchical Interface-Based Supervisory Control employs interfaces that allow properties of a monolithic system to be verified through local analysis. By avoiding the need to verify properties globally, significant computational savings can be achieved. In this paper we provide local requirements for a multi-level architecture employing command-pair type interfaces. This multi-level architecture allows for a greater reduction in complexity and improved reconfigurability over the two-level case that has been previously studied since it allows the global system to be partitioned into smaller modules. This paper also provides results for synthesizing supervisors in the multi-level architecture that are locally maximally permissive with respect to a given specification and set of interfaces.