Sciweavers

93 search results - page 11 / 19
» Steering of Discrete Event Systems: Control Theory Approach
Sort
View
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
13 years 5 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...
CDC
2009
IEEE
181views Control Systems» more  CDC 2009»
14 years 3 days ago
Stability of switched linear systems and the convergence of random products
— In this paper we give conditions that a discrete time switched linear systems must satisfy if it is stable. We do this by calculating the mean and covariance of the set of matr...
Ning Wang, Magnus Egerstedt, Clyde F. Martin
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
14 years 3 days ago
On Lyapunov sampling for event-driven controllers
— This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour cur...
Manel Velasco, Pau Martí, Enrico Bini
INFFUS
2010
143views more  INFFUS 2010»
13 years 5 months ago
A multi-agent systems approach to distributed bayesian information fusion
This paper introduces design principles for modular Bayesian fusion systems which can (i) cope with large quantities of heterogeneous information and (ii) can adapt to changing co...
Gregor Pavlin, Patrick de Oude, Marinus Maris, Jan...
DAGSTUHL
2006
13 years 8 months ago
A Petri Net Approach to Verify and Debug Simulation Models
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
Peter Kemper, Carsten Tepper