Sciweavers

172 search results - page 1 / 35
» Controllers for Discrete Event Systems via Morphisms
Sort
View
60
Voted
CONCUR
1998
Springer
15 years 1 months ago
Controllers for Discrete Event Systems via Morphisms
P. Madhusudan, P. S. Thiagarajan
DEDS
2002
85views more  DEDS 2002»
14 years 9 months ago
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Abstract. We consider a generalized form of the conventional decentralized control architecture for discreteevent systems where the control actions of a set of supervisors can be `...
Tae-Sic Yoo, Stéphane Lafortune
67
Voted
AAAI
2004
14 years 11 months ago
Planning and Verification for Stochastic Processes with Asynchronous Events
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...
Håkan L. S. Younes
83
Voted
FMCO
2005
Springer
116views Formal Methods» more  FMCO 2005»
15 years 3 months ago
Control of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
Jan Komenda, Jan H. van Schuppen
72
Voted
ICRA
1999
IEEE
104views Robotics» more  ICRA 1999»
15 years 1 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...