Nonblocking and safe control of discrete-event systems modeled as extended finite automata
Extended Finite Automata (EFA), ie, finite automata extended with variables, are a suitable
modeling framework for discrete event systems owing to their compactness, resulting from …
modeling framework for discrete event systems owing to their compactness, resulting from …
A BDD-based approach for modeling plant and supervisor by extended finite automata
S Miremadi, B Lennartson… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
In this paper, we settle some problems that are encountered when modeling and
synthesizing complex industrial systems by the supervisory control theory. First, modeling …
synthesizing complex industrial systems by the supervisory control theory. First, modeling …
Integrating discrete controller synthesis into a reactive programming language compiler
We define a mixed imperative/declarative programming language: declarative contracts are
enforced upon imperatively described behaviors. This paper describes the semantics of the …
enforced upon imperatively described behaviors. This paper describes the semantics of the …
Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
Control theories for discrete event systems modeled as finite state machines have been well
developed to address various fundamental control issues. However, finite state machine …
developed to address various fundamental control issues. However, finite state machine …
Discrete controller synthesis for infinite state systems with reax
N Berthier, H Marchand - IFAC Proceedings Volumes, 2014 - Elsevier
In this paper, we investigate the control of infinite reactive synchronous systems modeled by
arithmetic symbolic transition systems for safety properties. We provide effective algorithms …
arithmetic symbolic transition systems for safety properties. We provide effective algorithms …
Supervisory control of DES with extended finite-state machines and variable abstraction
This paper deals with two relevant aspects of Supervisory Control Theory (SCT) of Discrete
Event Systems: the difficulty faced to model specifications to be fulfilled by the system under …
Event Systems: the difficulty faced to model specifications to be fulfilled by the system under …
Modular supervisor synthesis for extended finite-state machines subject to controllability
R Malik, M Teixeira - 2016 13th International Workshop on …, 2016 - ieeexplore.ieee.org
This paper proposes an algorithm for the synthesis of modular supervisors using extended
finite-state machines, ie, state machines with variables and guards on the transitions …
finite-state machines, ie, state machines with variables and guards on the transitions …
Exploiting distinguishers in local modular control of discrete-event systems
M Teixeira, JER Cury… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Local modular control (LMC) is an approach to the supervisory control theory (SCT) of
discrete-event systems that exploits the modularity of plant and specifications. Recently …
discrete-event systems that exploits the modularity of plant and specifications. Recently …
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
R Malik, M Teixeira - Discrete Event Dynamic Systems, 2020 - Springer
This paper presents an algorithm that combines modular synthesis for extended finite-state
machines (EFSM) with abstraction of variables by symbolic manipulation, in order to …
machines (EFSM) with abstraction of variables by symbolic manipulation, in order to …
Automated service composition via supervisory control theory
Web services play a major role in electronic businesses and allow organizations to perform
certain business activities in a distributed fashion. In some circumstances, a single service is …
certain business activities in a distributed fashion. In some circumstances, a single service is …