7778 search results - page 57 / 1556 » Designing Controllers for Reachability |
118
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- Communication networks provide a larger flexibility with respect to the control design of large-scale interconnected systems by allowing the information exchange between...
105
Voted
ICEIS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we detail specifications of a Visualization On-Demand (VizOD) server. We show that packaging information visualization processes into services reachable over a netw...
114
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
118
Voted
ICECCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
115
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...