695 search results - page 44 / 139 » Control in o-minimal Hybrid Systems |
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper presents both necessary and sufficient conditions for the stability of Zeno equilibria in Lagrangian hybrid systems, i.e., hybrid systems that model mechanical syst...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
HYBRID
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...