Sciweavers

2594 search results - page 110 / 519
» Stabilization of Systems with Changing Dynamics
Sort
View
AOSD
2009
ACM
15 years 6 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
WSCG
2004
148views more  WSCG 2004»
15 years 5 months ago
Visualization of Dynamic Behaviour of Multi-Agent Systems
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
David Rehor, Pavel Slavík, David Kadlecek, ...
STACS
2009
Springer
15 years 10 months ago
Undecidable Properties of Limit Set Dynamics of Cellular Automata
Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel computation. The limit set of a cellular automaton is its maximal topological attractor. A w...
Pietro di Lena, Luciano Margara
COMPLEXITY
2007
93views more  COMPLEXITY 2007»
15 years 4 months ago
Guiding a self-adjusting system through chaos
: We study the parametric controls of self-adjusting systems with numerical models. We investigate the situation where the target dynamics changes slowly and passes through a chaot...
Alfred W. Hübler, Kirstin C. Phelps
SIAMCO
2008
88views more  SIAMCO 2008»
15 years 3 months ago
On Local Transverse Feedback Linearization
Given a control-affine system and a controlled invariant submanifold, we present necessary and sufficient conditions for local feedback equivalence to a system whose dynamics tran...
Christopher Nielsen, Manfredi Maggiore