172 search results - page 4 / 35 » Controllers for Discrete Event Systems via Morphisms |
102
click to vote
ENTCS
2006
14 years 11 months ago
2006
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 ...
111
click to vote
DEDS
2010
14 years 9 months ago
2010
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
AUTOMATICA
2000
14 years 11 months ago
2000
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
97
Voted
DEDS
2006
14 years 11 months ago
2006
A class of time-varying discrete-event systems, named dynamic discrete-event systems, is defined. The goal of this paper is to provide a method which is modular and can be applied ...
113
click to vote
TSMC
2010
14 years 6 months ago
2010
In a 2002 paper, we combined fuzzy logic with discrete-event systems (DESs) and established an automaton model of fuzzy DESs (FDESs). The model can effectively represent determinis...