241 search results - page 13 / 49 » Controlled Invariance of Discrete Time Systems |
106
click to vote
FBT
1998
15 years 3 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
105
click to vote
HYBRID
1995
Springer
15 years 5 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
102
Voted
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper is devoted to path following control for port-Hamiltonian systems whose desired path is timevarying. Most of the existing results on path following can only take care of...
101
Voted
WSC
1998
15 years 3 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...