Sciweavers

1146 search results - page 23 / 230
» Periodically Controlled Hybrid Systems
Sort
View
CDC
2008
IEEE
128views Control Systems» more  CDC 2008»
14 years 2 months ago
Floquet transformations for discrete-time systems: Equivalence between periodic systems and time-invariant ones
— This paper considers discrete-time periodic linear systems and their Floquet transformations, by which the periodic systems can be equivalently transformed to time-invariant on...
Yoshikazu Hayakawa, Tomohiko Jimbo
CDC
2009
IEEE
298views Control Systems» more  CDC 2009»
14 years 15 days ago
Stability analysis for sampled-data systems with a time-varying period
— This paper proposes a novel stability analysis of linear systems with sampled-data inputs. Inspired by the inputdelay approach and the stability of impulsive systems, this meth...
Alexandre Seuret
HYBRID
2001
Springer
14 years 8 days ago
Hybrid Modeling of TCP Congestion Control
Abstract. In this paper we propose a hybrid model for TCP’s congestion control mechanism operating under drop-tail queuing policy. Using
João P. Hespanha, Stephan Bohacek, Katia Ob...
SAC
2006
ACM
14 years 1 months ago
Proactive resilience through architectural hybridization
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
Paulo Sousa, Nuno Ferreira Neves, Paulo Verí...
HYBRID
2007
Springer
13 years 11 months ago
Diagnosability Verification for Hybrid Automata
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...