Sciweavers

Share
93 search results - page 1 / 19
» Steering of Discrete Event Systems: Control Theory Approach
Sort
View
ENTCS
2006
123views more  ENTCS 2006»
11 years 5 months ago
Steering of Discrete Event Systems: Control Theory Approach
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
ICEC
1994
107views more  ICEC 1994»
11 years 6 months ago
Genetic Algorithms and Discrete Event Systems: An Application
: In this paper we propose an approach for discrete event systems control optimization, based on the theory developed by Ramadge and Wonham and on the Limited Lookahead Policy stra...
Ricardo R. Gudwin, Fernando A. C. Gomide
AUTOMATICA
2002
107views more  AUTOMATICA 2002»
11 years 5 months ago
On optimal control of a class of partially observed discrete event systems
We are interestedin a newclassof optimal control problemsfor DiscreteEvent Systems (DES). Weadopt theformalismof supervisorycontrol theory 10] andmodel thesystemas a nitestatemach...
Hervé Marchand, Olivier Boivineau, St&eacut...
FMCO
2005
Springer
116views Formal Methods» more  FMCO 2005»
11 years 11 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
ICCS
2004
Springer
11 years 11 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
books