Sciweavers

12115 search results - page 63 / 2423
» Bisimulation of Dynamical Systems
Sort
View
133
Voted
AUTOMATICA
2008
124views more  AUTOMATICA 2008»
15 years 3 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»
15 years 3 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»
16 years 4 months ago
Dynamic Extensible Query Processing in Super-Peer Based P2P Systems
Christian Wiesner, Alfons Kemper, Stefan Brandl
BIOADIT
2004
Springer
15 years 9 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
15 years 7 months 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