15644 search results - page 143 / 3129 » Brittle System Analysis |
131
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
143
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
178
click to vote
HYBRID
2007
Springer
16 years 19 days ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
155
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
The objective of this contribution is to analyze statistical properties of estimated models of cascade systems. Models of such systems are important in for example cascade control ...
154
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper, we study the property of generic uniform observability for structured bilinear systems. More precisely, to check whether or not a structured bilinear system generic...