4693 search results - page 647 / 939 » Verifying Hybrid Systems |
163
click to vote
WCE
2007
15 years 8 months ago
2007
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
137
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
202
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
154
click to vote
ENGL
2008
15 years 6 months ago
2008
This paper deals with the applicability of Robust Adaptive Control to the attitude motion control of large spacecraft. Large spacecraft and space structures, such as large communic...