4693 search results - page 461 / 939 » Verifying Hybrid Systems |
148
click to vote
TACS
1997
Springer
15 years 11 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
185
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
177
click to vote
AMT
2006
Springer
15 years 10 months ago
2006
Springer
In high-tech industries, most manufacturing processes are complexly intertwined, in that manufacturers or engineers can hardly control a whole set of processes. They are only capa...
238
click to vote
SCSC
2007
15 years 8 months ago
2007
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
183
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
Design of iterative learning control (ILC) often requires some prior knowledge about a system's control matrix. In some applications, such as uncalibrated visual servoing, th...