Sciweavers

378 search results - page 27 / 76
» Computing Controllers for Nonlinear Hybrid Systems
Sort
View
HYBRID
2010
Springer
14 years 11 months ago
On infinity norms as Lyapunov functions for piecewise affine systems
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
Mircea Lazar, Andrej Jokic
ALIFE
2002
14 years 9 months ago
Bioinspired Engineering of Exploration Systems for NASA and DoD
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...
Sarita Thakoor, Javaan S. Chahl, Mandyam V. Sriniv...
HYBRID
2000
Springer
15 years 1 months ago
Controlled Invariance of Discrete Time Systems
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
René Vidal, Shawn Schaffert, John Lygeros, ...
ENTCS
2007
117views more  ENTCS 2007»
14 years 9 months ago
Relating Hybrid Chi to Other Formalisms
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
HYBRID
2009
Springer
15 years 4 months ago
On Event Based State Estimation
To reduce the amount of data transfer in networked control systems and wireless sensor networks, measurements are usually taken only when an event occurs, rather than at each synch...
Joris Sijs, Mircea Lazar