Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs
|
| Id. |
46150571 |
| Idioma |
inglés
|
| Titulo |
Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs |
| Autor(es) |
André Platzer |
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.2188
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. We generalise dynamic logic to a logic for differential-algebraic programs, i.e., discrete programs augmented with first-order differentialalgebraic formulas as continuous evolution constraints in addition to first-order discrete jump formulas. These programs characterise interacting discrete and continuous dynamics of hybrid systems elegantly and uniformly. For our logic, we introduce a calculus over real arithmetic with discrete induction and a new differential induction with which differential-algebraic programs can be verified by exploiting their differential constraints algebraically without having to solve them. We develop the theory of differential induction and differential refinement and analyse their deductive power. As a case study, we present parametric tangential roundabout maneuvers in air traffic control and prove collision avoidance in our calculus. |
| 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/DAL.pdf
[References] 10.1.1.43.9418
[References] 10.1.1.12.8714
[References] 10.1.1.26.7422
[References] 10.1.1.26.9629
[References] 10.1.1.36.3276
[References] 10.1.1.1.8121
[References] 10.1.1.15.9126
[References] 10.1.1.39.5582
[References] 10.1.1.3.4570
[References] 10.1.1.3.1015
[References] 10.1.1.2.4931
[References] 10.1.1.26.2695
[References] 10.1.1.113.1279
[References] 10.1.1.43.6594
[References] 10.1.1.112.2632
[References] 10.1.1.12.4380
[References] 10.1.1.64.1345
[References] 10.1.1.69.8368
[References] 10.1.1.72.7418
[References] 10.1.1.62.3024
[References] 10.1.1.126.3129
[References] 10.1.1.85.1505
[References] 10.1.1.18.7850
[References] 10.1.1.72.6854
[References] 10.1.1.139.6069
[References] 10.1.1.28.208
[References] 10.1.1.141.1420
[References] 10.1.1.139.210
[References] 10.1.1.119.6896
[References] 10.1.1.67.3068
[References] 10.1.1.140.2970
[References] 10.1.1.139.6523
|
| Fecha de contribución |
21-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|