Multi-level hierarchical interface-based supervisory control

Authors:
R. C. Hill;J. E. R. Cury;M. H. de Queiroz;D. M. Tilbury;S. Lafortune
Affiliations:
University of Detroit Mercy, Detroit, MI 48221-3038, USA;Federal University of Santa Catarina, Florianópolis, SC 88040-900, Brazil;Federal University of Santa Catarina, Florianópolis, SC 88040-900, Brazil;University of Michigan, Ann Arbor, MI 48109-2125, USA;University of Michigan, Ann Arbor, MI 48109-2125, USA
Venue:
Automatica (Journal of IFAC)
Year:
2010

Citing 7
Cited 2

On the supermal controllable sublanguage of a given language

SIAM Journal on Control and Optimization
Theory of finite automata with an introduction to formal languages

Theory of finite automata with an introduction to formal languages
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Interface Theories for Component-Based Design

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Multitasking Supervisory Control of Discrete-Event Systems

Discrete Event Dynamic Systems
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction

Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction

Modeling the supervisory control theory with alloy

ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Supervisor synthesis for controller upgrades

Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	22.14

Visualization

Abstract

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.