Sciweavers

1363 search results - page 28 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
41
Voted
ISCAS
2005
IEEE
103views Hardware» more  ISCAS 2005»
15 years 3 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 1 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
14 years 11 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»
15 years 4 months 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 1 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