5599 search results - page 74 / 1120 » Abstract State Services |
102
click to vote
CDC
2008
IEEE
15 years 8 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...
ETRICS
2006
15 years 5 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...
103
click to vote
CDC
2009
IEEE
15 years 5 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...
125
click to vote
SEC
2003
15 years 3 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...
125
click to vote
JISE
2008
15 years 1 months ago
2008
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...