Sciweavers

125 search results - page 1 / 25
» Synthesis of Discrete-Event Controllers Based on the Signal ...
Sort
View
DEDS
2000
83views more  DEDS 2000»
13 years 10 months ago
Synthesis of Discrete-Event Controllers Based on the Signal Environment
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...
Hervé Marchand, Patricia Bournai, Michel Le...
ICCS
2004
Springer
14 years 4 months ago
An Application of the DEDS Control Synthesis Method
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...
Frantisek Capkovic
ICRA
1999
IEEE
104views Robotics» more  ICRA 1999»
14 years 3 months ago
Discrete Event Control with Active Events
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...
Michael Heymann, Feng Lin, George Meyer, Satya Ran...
DEDS
2007
111views more  DEDS 2007»
13 years 10 months ago
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
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...
Hugo Flordal, Robi Malik, Martin Fabian, Knut &Ari...
ICINCO
2009
132views Robotics» more  ICINCO 2009»
13 years 8 months ago
Discrete Event Diagnosis using Petri Nets
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...
Maria Paola Cabasino, Alessandro Giua, Carla Seatz...