HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 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...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 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...
CDC
2008
IEEE
13 years 12 months ago
2008
IEEE
Abstract— This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish...
HYBRID
2010
Springer
13 years 12 months ago
2010
Springer