Towards a hybrid dynamic logic for hybrid dynamic systems
|
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
|
|
|
Towards a hybrid dynamic logic for hybrid dynamic systems
|
| Id. |
47266671 |
| Idioma |
inglés
|
| Titulo |
Towards a hybrid dynamic logic for hybrid dynamic systems |
| Autor(es) |
André Platzer
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.284
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynamic logic. With the addition of satisfaction operators, this hybrid logic provides improved system introspection by referring to properties of states during system evolution. In addition to this, our calculus introduces state-based reasoning as a paradigm for delaying expansion of transitions using nominals as symbolic state labels. With these extensions, our hybrid dynamic logic advances the capabilities for compositional reasoning about (semialgebraic) hybrid dynamic systems. Moreover, the constructive reasoning support for goal-oriented analytic verification of hybrid dynamic systems carries over from the base calculus to our extended calculus.
|
| Tipo |
application/pdf
|
| Palabras clave |
hybrid 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/hdL.pdf
[References] 10.1.1.43.2086
[References] 10.1.1.36.3276
[References] 10.1.1.36.2501
[References] 10.1.1.36.5616
[References] 10.1.1.17.9177
[References] 10.1.1.64.1345
[References] 10.1.1.15.1468
[References] 10.1.1.71.7569
[References] 10.1.1.69.8368
[References] 10.1.1.72.6854
[References] 10.1.1.71.7569
[References] 10.1.1.142.7811
[References] 10.1.1.71.7548
[References] 10.1.1.73.469
|
| 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.
|
|
|
|
