Sciweavers

1146 search results - page 23 / 230
» Periodically Controlled Hybrid Systems
Sort
View
CDC
2008
IEEE
128views Control Systems» more  CDC 2008»
15 years 8 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»
15 years 6 months 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
116
Voted
HYBRID
2001
Springer
15 years 6 months 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
15 years 7 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
15 years 5 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...