A temporal dynamic logic for verifying hybrid system invariants
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A temporal dynamic logic for verifying hybrid system invariants
|
| Id. |
47270836 |
| Idioma |
inglés
|
| Titulo |
A temporal dynamic logic for verifying hybrid system invariants |
| Autor(es) |
André Platzer
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.6854
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation. Our logic supports verification of hybrid programs with first-order definable flows and provides a uniform treatment of discrete and continuous evolution. For our combined logic, we generalise the semantics of dynamic modalities to refer to hybrid traces instead of final states. Further, we prove that this gives a conservative extension of dynamic logic. On this basis, we provide a modular verification calculus that reduces correctness of temporal behaviour of hybrid systems to non-temporal reasoning. Using this calculus, we analyse safety invariants in a train control system and symbolically synthesise parametric safety constraints.
|
| Tipo |
application/pdf
|
| Palabras clave |
dynamic logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.functologic.com/pub/dTL.pdf
[References] 10.1.1.12.8714
[References] 10.1.1.26.7422
[References] 10.1.1.26.9629
[References] 10.1.1.15.9126
[References] 10.1.1.31.2146
[References] 10.1.1.28.7200
[References] 10.1.1.64.1345
[References] 10.1.1.69.8368
[References] 10.1.1.58.1868
[References] 10.1.1.72.7418
[References] 10.1.1.72.284
[References] 10.1.1.71.7569
[References] 10.1.1.69.8368
[References] 10.1.1.139.6069
[References] 10.1.1.142.7811
[References] 10.1.1.140.2188
|
| Fecha de contribución |
28-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
