Sciweavers

12115 search results - page 63 / 2423
» Bisimulation of Dynamical Systems
Sort
View
AUTOMATICA
2008
124views more  AUTOMATICA 2008»
13 years 9 months ago
Lyapunov conditions for input-to-state stability of impulsive systems
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
João Pedro Hespanha, Daniel Liberzon, Andre...
AUTOMATICA
2004
88views more  AUTOMATICA 2004»
13 years 8 months ago
Robust output maneuvering for a class of nonlinear systems
The output maneuvering problem involves two tasks. The
Roger Skjetne, Thor I. Fossen, Petar V. Kokotovic
ICDE
2004
IEEE
102views Database» more  ICDE 2004»
14 years 10 months ago
Dynamic Extensible Query Processing in Super-Peer Based P2P Systems
Christian Wiesner, Alfons Kemper, Stefan Brandl
BIOADIT
2004
Springer
14 years 2 months ago
Dynamic Self-Assembly and Computation: From Biological to Information Systems
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...
Ann M. Bouchard, Gordon C. Osbourn
ICALP
1989
Springer
14 years 27 days ago
Causal Trees
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
Philippe Darondeau, Pierpaolo Degano