378 search results - page 31 / 76 » Computing Controllers for Nonlinear Hybrid Systems |
CAV
2010
Springer
14 years 10 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
109
click to vote
SIGMETRICS
2003
ACM
15 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...
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
101
click to vote
HYBRID
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
117
click to vote
HYBRID
2011
Springer
13 years 9 months ago
2011
Springer
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...