Nonblocking and safe control of discrete-event systems modeled as extended finite automata

L Ouedraogo, R Kumar, R Malik… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
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 …

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 …

Integrating discrete controller synthesis into a reactive programming language compiler

G Delaval, E Rutten, H Marchand - Discrete Event Dynamic Systems, 2013 - Springer
We define a mixed imperative/declarative programming language: declarative contracts are
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

J Zhao, YL Chen, Z Chen, F Lin, C Wang… - Systems & Control …, 2012 - Elsevier
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 …

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 …

Supervisory control of DES with extended finite-state machines and variable abstraction

M Teixeira, R Malik, JER Cury… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
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 …

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 …

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 …

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 …

Automated service composition via supervisory control theory

F Atampore, J Dingel, K Rudie - 2016 13th International …, 2016 - ieeexplore.ieee.org
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 …