Sciweavers

288 search results - page 10 / 58
» Evolved finite state controller for hybrid system
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bour...
HYBRID
2005
Springer
14 years 1 months ago
Optimal Control of Discrete Hybrid Stochastic Automata
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
Alberto Bemporad, Stefano Di Cairano
HYBRID
2005
Springer
14 years 1 months ago
Learning Multi-modal Control Programs
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
Tejas R. Mehta, Magnus Egerstedt
APWEB
2004
Springer
14 years 27 days ago
A Finite State Mobile Agent Computation Model
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
Yong Liu, Congfu Xu, Zhaohui Wu, Weidong Chen, Yun...
HYBRID
2007
Springer
14 years 1 months ago
A Controller Design Method Under Infrequent, Asynchronous Sensing
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
Fumin Zhang, Naomi Ehrich Leonard