Work

Modular supervisor synthesis for extended finite-state machines subject to controllability

Year: 2016

Type: conference-paper

Abstract: This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usually faster and produces smaller supervisors than standard monolithic synthesis, while offering the modelling benefits of variables. An example of manufacturing system control illustrates the approach.

Source: International Workshop on Discrete Event Systems

DOI: 10.1109/wodes.2016.7497831

Authors: Robi Malik, Marcelo Teixeira

Institutions: University of Waikato, Universidade Tecnológica Federal do Paraná, Federal University of Technology

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2427477041

FWCI: 2.497

Cites: 18

Cited by: 18

Related to: 10