| Título : |
Formal Methods for Discrete-Time Dynamical Systems |
| Tipo de documento: |
documento electrónico |
| Autores: |
Belta, Calin, Autor ; Yordanov, Boyan, Autor ; Aydin Gol, Ebru, Autor |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
XVIII, 284 p. 93 ilustraciones, 39 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-319-50763-7 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Ingeniería de control Dinámica Teorías no lineales teoría del sistema Teoría del control Teoría de sistemas y control Sistemas Dinámicos Aplicados Teoría de Sistemas Control |
| Índice Dewey: |
629.8312 |
| Resumen: |
Este libro cierra brechas fundamentales entre la teoría del control y los métodos formales. Aunque se centra en sistemas lineales de tiempo discreto y afines por partes, también proporciona marcos generales para la abstracción, el análisis y el control de modelos más generales. El libro es autónomo y, si bien es necesario cierto conocimiento matemático, no se espera que los lectores tengan experiencia en métodos formales o teoría de control. Define rigurosamente conceptos provenientes de métodos formales, como sistemas de transición, lógica temporal, verificación y síntesis de modelos. Luego los vincula a los sistemas dinámicos de estados infinitos a través de abstracciones que son intuitivas y solo requieren terminología básica de análisis convexo y teoría de control, que se proporciona en el apéndice. Varios ejemplos e ilustraciones ayudan a los lectores a comprender y visualizar los conceptos presentados a lo largo del libro. |
| Nota de contenido: |
Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller Synthesis -- Optimal Temporal Logic Control -- Background. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Formal Methods for Discrete-Time Dynamical Systems [documento electrónico] / Belta, Calin, Autor ; Yordanov, Boyan, Autor ; Aydin Gol, Ebru, Autor . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 284 p. 93 ilustraciones, 39 ilustraciones en color. ISBN : 978-3-319-50763-7 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Ingeniería de control Dinámica Teorías no lineales teoría del sistema Teoría del control Teoría de sistemas y control Sistemas Dinámicos Aplicados Teoría de Sistemas Control |
| Índice Dewey: |
629.8312 |
| Resumen: |
Este libro cierra brechas fundamentales entre la teoría del control y los métodos formales. Aunque se centra en sistemas lineales de tiempo discreto y afines por partes, también proporciona marcos generales para la abstracción, el análisis y el control de modelos más generales. El libro es autónomo y, si bien es necesario cierto conocimiento matemático, no se espera que los lectores tengan experiencia en métodos formales o teoría de control. Define rigurosamente conceptos provenientes de métodos formales, como sistemas de transición, lógica temporal, verificación y síntesis de modelos. Luego los vincula a los sistemas dinámicos de estados infinitos a través de abstracciones que son intuitivas y solo requieren terminología básica de análisis convexo y teoría de control, que se proporciona en el apéndice. Varios ejemplos e ilustraciones ayudan a los lectores a comprender y visualizar los conceptos presentados a lo largo del libro. |
| Nota de contenido: |
Transition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller Synthesis -- Optimal Temporal Logic Control -- Background. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsqueda
