Sciweavers

828 search results - page 38 / 166
» Modularity for Timed and Hybrid Systems
Sort
View
109
Voted
HYBRID
2007
Springer
15 years 7 months ago
State Nullification of Switched Systems by Linear Output Feedback
We study the possibility to steer the state of a single-input single-output linear switched system to the origin in finite time by output feedback with finite memory. We show that ...
Gera Weiss
147
Voted
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 10 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
15 years 8 months ago
Robust stabilization of model-based uncertain singularly perturbed systems with networked time-delay
—In this paper, a robust stabilization of the uncertain singularly perturbed system via a networked state feedback with the transmission time-delay is addressed. Taking its nomin...
Zhiming Wang, Wei Liu, Haohui Dai, D. Subbaram Nai...
133
Voted
BMCBI
2007
157views more  BMCBI 2007»
15 years 3 months ago
A hybrid multiscale Monte Carlo algorithm (HyMSMC) to cope with disparity in time scales and species populations in intracellula
Background: The fundamental role that intrinsic stochasticity plays in cellular functions has been shown via numerous computational and experimental studies. In the face of such e...
Asawari Samant, Babatunde A. Ogunnaike, Dionisios ...
ENTCS
2002
91views more  ENTCS 2002»
15 years 3 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...