Sciweavers

296 search results - page 5 / 60
» Discrete and Hybrid Nonholonomy
Sort
View
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
13 years 10 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
WSC
2004
13 years 11 months ago
Hierarchical Production Planning Using a Hybrid System Dynamic - Discrete Event Simulation Architecture
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
Jayendran Venkateswaran, Young-Jun Son, Albert Jon...
IJBRA
2008
101views more  IJBRA 2008»
13 years 9 months ago
Analysing formal models of genetic regulatory networks with delays
: In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Ren
Jamil Ahmad, Olivier Roux, Gilles Bernot, Jean-Pau...
AUTOMATICA
2008
70views more  AUTOMATICA 2008»
13 years 10 months ago
Control for discrete singular hybrid systems
Yuanqing Xia, Jinhui Zhang, El Kebir Boukas
CAV
2007
Springer
145views Hardware» more  CAV 2007»
14 years 1 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi