1146 search results - page 77 / 230 » Periodically Controlled Hybrid Systems |
SIGMETRICS
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
HYBRID
2010
Springer
14 years 4 months ago
2010
Springer
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This paper deals with stabilization of networked control systems (NCS) affected by uncertain time-varying delays and data packet dropouts. We point out that such network effect...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper deals with a control approach dedicated to stable limit cycle generation for underactuated mechanical systems. The proposed approach is based on partial nonlinear fe...
REX
1991
14 years 19 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...