11168 search results - page 95 / 2234 » Abstract State Processes |
142
click to vote
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
124
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper presents necessary and sufficient conditions for null controllability of discrete-time linear systems subject to both input and state constraints. The class...
103
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
129
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— In this paper, we consider the problems of semiglobal and global internal stabilization of a class of sandwich systems consisting of two linear systems with a saturatio...
151
click to vote
SEC
2003
15 years 5 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...