7778 search results - page 39 / 1556 » Designing Controllers for Reachability |
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
ICRA
1999
IEEE
15 years 4 months ago
1999
IEEE
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
113
click to vote
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
120
click to vote
JLP
2011
14 years 6 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...