125 search results - page 1 / 25 » Synthesis of Discrete-Event Controllers Based on the Signal ... |
DEDS
2000
13 years 4 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
ICCS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
ICRA
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract--The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events...
DEDS
2007
13 years 4 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
ICINCO
2009
13 years 2 months ago
2009
This paper serves as a support for the plenary address given by the second author during the conference. In this paper we present an approach to on-line diagnosis of discrete even...