Sciweavers

296 search results - page 5 / 60
» Discrete and Hybrid Nonholonomy
Sort
View
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
14 years 9 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
14 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»
14 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»
14 years 9 months ago
Control for discrete singular hybrid systems
Yuanqing Xia, Jinhui Zhang, El Kebir Boukas
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 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