695 search results - page 21 / 139 » Symbolic Simulation of Hybrid Systems |
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstaclefree environment. Plans considered admit a finite description l...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— The design of ultra-wideband (UWB) impulse radio receivers has to cope with complex signal propagation environments with dense multipath fading, which complicate channel estima...
BMCBI
2006
13 years 8 months ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
CN
2007
13 years 8 months ago
2007
Motivated by the scale and complexity of simulating large-scale networks, recent research has focused on hybrid fluid/packet simulators, where fluid models are combined with pac...