Abstraction-based control for not necessarily closed behaviours

Date

2011-01-01

Author

Moor, Thomas
Schmidt, Klaus Verner
Wittmann, Thomas

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

58
views

0
downloads

This paper addresses abstraction-based supervisory control for plant and specification behaviours that are not necessarily ω-closed, i.e. plant behaviours that exhibit eventuality properties and specifications that impose eventuality properties on the closed loop. Technically, the core idea is to combine results from previous work on abstraction-based supervision of input-output behaviours with results on supervisory control of ω-languages. As our main result, we identify a controllability condition for the plant, that ensures a nonblocking closed-loop behaviour with a controller that has been obtained for a plant abstraction.

Subject Keywords

Discrete event systems, Supervisory control, Cω-languages, Abstraction-based synthesis

URI

https://hdl.handle.net/11511/46594

Journal

IFAC Proceedings Volumes (IFAC-PapersOnline)

DOI

https://doi.org/10.3182/20110828-6-it-1002.00480

Collections

Department of Electrical and Electronics Engineering, Article

Suggestions

OpenMETU
Core

Hierarchical control with partial observations: Sufficient conditions Boutin, Olivier; Komenda, Jan; Masopust, Tomas; Schmidt, Klaus Verner; Van Schuppen, Jan H. (2011-12-01) In this paper, hierarchical control of both monolithic and modular discrete-event systems under partial observations is studied. Two new conditions, called observation consistency and local observation consistency, are proposed. These conditions are sufficient for the preservation of observability between the original and the abstracted plant. Moreover, it is shown that both conditions are compositional, that is, they are preserved by the synchronous product. This property makes it possible to use hierarchi...
Redundant tasks in multitasking control of discrete event systems Schmidt, Klaus Verner (null; 2009-12-01) This paper addresses the control of multitasking DES that allow for dealing with liveness properties in the case where multiple classes of tasks have to be independently completed by the system. Colored marking generators (CMG) have been previously introduced as a model to consider multitasking control. The computational cost of the supervisor synthesis for multitasking DES grows with the number of classes of tasks. In this paper we investigate conditions under which removing tasks of the DES model does not...
Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems SCHMİDT, KLAUS WERNER; Schmidt, Klaus Verner (2011-04-01) The subject of this paper is the synthesis of natural projections that serve as nonblocking and maximally permissive abstractions for the hierarchical and decentralized control of large-scale discrete event systems. To this end, existing concepts for nonblocking abstractions such as natural observers and marked string accepting (msa)-observers are extended by local control consistency (LCC) as a novel sufficient condition for maximal permissiveness. Furthermore, it is shown that, similar to the natural obse...
Abstraction-based supervisory control for recon-gurable manufacturing systems ? Khalid, Harith M.; Kirik, Mustafa Sancay; Schmidt, Klaus Verner (2013-10-21) Reconfiguration control for discrete event systems (DES) is concerned with the realization of different system configurations by modification of the supervisory control loop. In this paper, we study the reconfiguration supervisor design for reconfigurable manufacturing systems (RMS) that comprise multiple components. We construct a modular supervisor for each configuration and system component in order to realize each active configuration and to quickly change between configurations. Different from the exis...
Controller synthesis for an I/O-based hierarchical system architecture Perk, Sebastian; Moor, Thomas; Schmidt, Klaus Verner (2008-10-08) In our previous work, a framework for the hierarchical design of discrete event systems has been introduced that is based on a notion of inputs and outputs. I/O-plant models describe the interaction of each subsystem with the operator (or controller) and the environment. By alternation of subsystem composition and controller synthesis, a hierarchy of controllers is obtained that complements a hierarchy of environment models. An admissibility condition was presented that implies liveness while allowing for a...

Citation Formats

T. Moor, K. V. Schmidt, and T. Wittmann, “Abstraction-based control for not necessarily closed behaviours,” IFAC Proceedings Volumes (IFAC-PapersOnline), pp. 6988–6993, 2011, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/46594.