29 search results - page 1 / 6 » On-the-Fly Controller Synthesis for Discrete and Dense-Time ... |
FM
1999
Springer
13 years 9 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
ENTCS
2007
13 years 4 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...