155
click to vote
HYBRID
15 years 9 months ago
2007 Springer 
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
107
click to vote
HYBRID
15 years 9 months ago
2007 Springer 
Abstract. A measure differential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...
102
Voted
HYBRID
15 years 9 months ago
2007 Springer 
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
121
Voted
HYBRID
15 years 6 months ago
2007 Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...
130
Voted
HYBRID
15 years 9 months ago
2007 Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
|
Control Systems