Sciweavers

378 search results - page 19 / 76
» Computing Controllers for Nonlinear Hybrid Systems
Sort
View
HYBRID
2007
Springer
15 years 3 months ago
Switch Detection in Genetic Regulatory Networks
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
Riccardo Porreca, Giancarlo Ferrari-Trecate, Danie...
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
14 years 4 months ago
Synthesis of embedded control systems with high sampling frequencies
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
Javad Lavaei, Somayeh Sojoudi, Richard M. Murray
HYBRID
2009
Springer
15 years 4 months ago
Decompositional Construction of Lyapunov Functions for Hybrid Systems
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
Jens Oehlerking, Oliver E. Theel
FORMATS
2006
Springer
15 years 1 months ago
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
Gordon J. Pace, Gerardo Schneider
IJRR
2010
132views more  IJRR 2010»
14 years 7 months ago
LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...
Russ Tedrake, Ian R. Manchester, Mark Tobenkin, Jo...