527 search results - page 28 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
NIPS
2000
13 years 10 months ago
2000
We have developed a silicon neuron that is inspired by a mathematical model of the leech heartbeat (HN) interneuron. The temporal and ionic current behaviors of this silicon neuro...
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...
AAAI
2000
13 years 10 months ago
2000
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we consider a motion planning problem for a class of constrained nonlinear systems. In each simplex of a triangulation of the set of states, the nonlinear dynami...
INFORMATICALT
2006
13 years 8 months ago
2006
Abstract. Robust stability results for nominally linear hybrid systems are obtained from total stability theorems for purely continuous-time and discrete-time systems. The class of...