269 search results - page 30 / 54 » Applications of MetiTarski in the Verification of Control an... |
TSP
2010
13 years 2 months ago
2010
This paper is first in a series of papers studying a system-theoretic approach to the problem of reconstructing an analog signal from its samples. The idea, borrowed from earlier t...
FLAIRS
2001
13 years 8 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
HYBRID
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
HYBRID
2004
Springer
14 years 23 days ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
BIRTHDAY
2010
Springer
14 years 5 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...