CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables

Mohammad Reza Shoaei (Institutionen för signaler och system, Automation) ; Feng Lei ; Bengt Lennartson (Institutionen för signaler och system, Automation)
Göteborg : Chalmers University of Technology, 2015. - 30 s.

In this report, we present an incremental and hierarchical deadlock-free control architecture for discrete event systems with variables. Given a system including several components that share alphabet and variables, we first introduce partial controllers that only control parts of each component that have local control behavior w.r.t. other components, and leave other parts intact. This enables us to compute a maximally permissive (or optimal) controller for the given system in an incremental way, rather than on the entire system at once. Second, to leverage the hierarchical supervisory control approach for systems with no variables using natural projections with observer and local control consistency (LCC) properties, we lift these concepts to systems with variables by introducing a new variable-observer condition. We show that these conditions are sufficient enough for optimal hierarchical control. Furthermore, similar to the observer condition and the LCC, we formulate the variable-observer condition in terms of a quasi-congruence. An industrial manufacturing example demonstrates the computational effectiveness and practical usage of the proposed control architecture.

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2015-01-29. Senast ändrad 2015-03-03.
CPL Pubid: 211640


Institutioner (Chalmers)

Institutionen för signaler och system, Automation (2005-2017)



Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach

Ingår i serie

R - Department of Signals and Systems, Chalmers University of Technology R001/2015