Sciweavers

359 search results - page 16 / 72
» Reachability for Continuous and Hybrid Systems
Sort
View
JIRS
2008
100views more  JIRS 2008»
13 years 7 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
HYBRID
2001
Springer
14 years 8 days ago
On Hybrid Control of Under-Actuated Mechanical Systems
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao ...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 5 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
AUTOMATICA
2006
91views more  AUTOMATICA 2006»
13 years 7 months ago
Necessary and sufficient conditions for reachability on a simplex
In this paper we solve the general problem of designing a feedback controller to reach a set of facets of an n-dimensional simplex in finite time, for a system evolving with linea...
Bartek Roszak, Mireille E. Broucke
SCL
2010
87views more  SCL 2010»
13 years 6 months ago
Generating series for bilinear hybrid systems
In this paper we introduce the novel concept of a hybrid generating series and show that continuous state and output trajectories of bilinear hybrid systems can be described in te...
Mihály Petreczky, Jan H. van Schuppen