Sciweavers

1363 search results - page 28 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
ISCAS
2005
IEEE
103views Hardware» more  ISCAS 2005»
15 years 11 months ago
A subtle link in switched dynamical systems: saddle-node bifurcation meets border collision
— Switched dynamical systems are known to exhibit border collision, in which a particular operation is terminated and a new operation is assumed as one or more parameters are var...
Yue Ma, Hiroshi Kawakami, Chi K. Michael Tse, Taku...
CONCUR
1998
Springer
15 years 10 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
DMCS
2003
15 years 7 months ago
A symbolic projection of Langton's Ant
d Abstract) Anah´ı Gajardo† GI2MA, Departamento de Ingenier´ıa Matem´atica, Universidad de Concepci´on, Casilla 160-C, correo 3, Concepci´on, Chile The Langton’s ant is ...
Anahí Gajardo
CDC
2008
IEEE
102views Control Systems» more  CDC 2008»
16 years 16 days ago
On the observability properties of homogeneous and heterogeneous networked dynamic systems
Abstract— This work provides a framework for the observability analysis of linear networked dynamic systems (NDS). A distinction is made between NDS that have homogeneous agent d...
Daniel Zelazo, Mehran Mesbahi
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 10 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi