Differential logic for reasoning about hybrid 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
|
|
|
Differential logic for reasoning about hybrid systems
|
| Id. |
47244109 |
| Idioma |
inglés
|
| Titulo |
Differential logic for reasoning about hybrid systems |
| Autor(es) |
André Platzer
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.7569
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. We propose a first-order dynamic logic for reasoning about hybrid systems. As a uniform model for discrete and continuous evolutions in hybrid systems, we introduce hybrid programs with differential actions. Our logic can be used to specify and verify correctness statements about hybrid programs, which are suitable for symbolic processing by calculus rules. Using first-order variables, our logic supports systems with symbolic parameters. With dynamic modalities, it is prepared to handle multiple system components.
|
| 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/dL-short.pdf
[References] 10.1.1.12.8714
[References] 10.1.1.26.9629
[References] 10.1.1.15.9126
[References] 10.1.1.72.284
[References] 10.1.1.69.8368
[References] 10.1.1.72.284
[References] 10.1.1.72.6854
|
| Fecha de contribución |
27-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
