Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters

Chen, Yiliang; Lin, Feng

doi:10.1109/cdc.2001.980823

Cited by 3 publications

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Hierarchical Interface-Based decentralized Supervisory Control

Liu

Leduc

Ricker

2015

2015 54th IEEE Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

In decentralized control, agents have only a partial view and partial control of the system and must cooperate to achieve the control objective. In order to synthesize a decentralized control solution, a specification must satisfy the co-observability property. Existing co-observability verification methods require the possibly intractable construction of the complete system. To address this issue, we introduce an incremental verification of co-observability approach. Selected subgroups of the system are evaluated individually, until verification is complete. The new method is potentially much more efficient than the monolithic approaches, in particular for systems composed of many subsystems, allowing for some intractable problems to be manageable.Properties of this new strategy are presented, along with a corresponding algorithm and an example.To further increase the scalability of decentralized control, we wish to adapt the existing Hierarchical Interface-Based Supervisory Control (HISC) to support it. We introduce the Hierarchical Interface-Based Decentralized Supervisory Control (HIDSC) framework that extends HISC to decentralized control. To adapt co-observability for HIDSC, we propose a per-component definition of co-observability along with a verification strategy that requires only a single component at a time in order to verify co-observability. Finally, we provide and prove the necessary and sufficient conditions iv for supervisory control existence in the HIDSC framework and illustrate our approach with an example. As the entire system model never needs to be constructed, HIDSC potentially provides significant savings.v

show abstract

Hierarchical Interface-Based decentralized Supervisory Control

Liu

Leduc

Ricker

2015

2015 54th IEEE Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

show abstract

Hierarchical control and management of virtual microgrids for vehicle electrification

Lin

Polis

Wang

et al. 2012

2012 IEEE Transportation Electrification Conference and Expo (ITEC)

View full text Add to dashboard Cite

Abstract:In this paper, we investigate control and management of power distribution networks to meet the needs of vehicle electrification. We propose to divide a distribution network into several virtual microgrids (VMGs). Unlike microgrids studied before, virtual microgrids are flexible and cover the entire distribution network. Using VMGs, the control and management of a distribution network can be achieved in a hierarchical fashion. We propose to control the distribution network in two levels: a lower or VMG level and a higher or grid level. We introduce modeling frameworks for the two levels. At the VMG level, VMGs are modeled as stochastic hybrid machines. At the grid level, the distribution network is modeled as a finite state machine with variables. We illustrate the modeling and control approach for a typical distribution network.

show abstract