172 search results - page 19 / 35 » Controllers for Discrete Event Systems via Morphisms |
121
click to vote
CAV
2003
Springer
15 years 5 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour cur...
135
click to vote
ICSOC
2009
Springer
14 years 9 months ago
2009
Springer
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We consider a decentralized bidirectional control of a platoon of N identical vehicles moving in a straight line. Such problems are known to suffer from poor stability margin a...
108
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...