Cargando…

Verification and Control of Hybrid Systems A Symbolic Approach /

Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of sever...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Tabuada, Paulo (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer US : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Temas:	System theory. Control theory. Control engineering. Computer science. Machine theory. Systems Theory, Control . Control and Systems Theory. Models of Computation. Formal Languages and Automata Theory.
Acceso en línea:	Texto Completo

Ejemplares similares

Analysis and Control of Boolean Networks A Semi-tensor Product Approach /
por: Cheng, Daizhan, et al.
Publicado: (2011)

Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers /
Publicado: (2006)

Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools /
por: Hrúz, Branislav, et al.
Publicado: (2007)

Stochastic Reachability Analysis of Hybrid Systems
por: Bujorianu, Luminita Manuela
Publicado: (2012)

Discrete, Continuous, and Hybrid Petri Nets
por: David, René, et al.
Publicado: (2010)

Discrete, Continuous, and Hybrid Petri Nets
por: David, René, et al.
Publicado: (2005)

Tautological Control Systems
por: Lewis, Andrew D.
Publicado: (2014)

Viability of Hybrid Systems A Controllability Operator Approach /
por: Labinaz, G., et al.
Publicado: (2012)

Sliding Mode Control The Delta-Sigma Modulation Approach /
por: Sira-Ramírez, Hebertt
Publicado: (2015)

Introduction to Time-Delay Systems Analysis and Control /
por: Fridman, Emilia
Publicado: (2014)

Analysis and Design of Nonlinear Control Systems
por: Cheng, Daizhan, et al.
Publicado: (2010)

System Identification with Quantized Observations
por: Wang, Le Yi, et al.
Publicado: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings /
Publicado: (2010)

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling /
por: Liu, Jiming, et al.
Publicado: (2005)

Mathematics of Complexity and Dynamical Systems
Publicado: (2011)

Linear Stochastic Systems A Geometric Approach to Modeling, Estimation and Identification /
por: Lindquist, Anders, et al.
Publicado: (2015)

Discrete-Time Stochastic Control and Dynamic Potential Games The Euler-Equation Approach /
por: González-Sánchez, David, et al.
Publicado: (2013)

Power System Dynamics and Control
por: Kwatny, Harry G., et al.
Publicado: (2016)

Control of Complex Systems Structural Constraints and Uncertainty /
por: Zecevic, Aleksandar, et al.
Publicado: (2010)

Self-Oscillations in Dynamic Systems A New Methodology via Two-Relay Controllers /
por: Aguilar, Luis T., et al.
Publicado: (2015)

Continuum Deformation of Multi-Agent Systems
por: Rastgoftar, Hossein
Publicado: (2016)

Viability Theory New Directions /
por: Aubin, Jean-Pierre, et al.
Publicado: (2011)

System Identification Using Regular and Quantized Observations Applications of Large Deviations Principles /
por: He, Qi, et al.
Publicado: (2013)

Optimal Control
por: Vinter, Richard
Publicado: (2010)

Systems Approaches and Their Application Examples from Sweden /
Publicado: (2005)

Handbook of hybrid systems control : theory, tools, applications /
Publicado: (2009)

Handbook of hybrid systems control : theory, tools, applications /
Publicado: (2009)

Introduction to Mathematical Systems Theory Linear Systems, Identification and Control /
por: Heij, Christiaan, et al.
Publicado: (2007)

Model-Based Control of Networked Systems
por: Garcia, Eloy, et al.
Publicado: (2014)

Advances in Variable Structure and Sliding Mode Control
Publicado: (2006)

Nonholonomic Mechanics and Control
por: Bloch, A.M
Publicado: (2015)

Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms /
por: Siddique, Nazmul
Publicado: (2014)

Stability Analysis and Robust Control of Time-Delay Systems
por: Wu, Min, et al.
Publicado: (2010)

Set-Theoretic Methods in Control
por: Blanchini, Franco, et al.
Publicado: (2015)

Stability of Linear Delay Differential Equations A Numerical Approach with MATLAB /
por: Breda, Dimitri, et al.
Publicado: (2015)

Adaptive Nonlinear System Identification The Volterra and Wiener Model Approaches /
por: Ogunfunmi, Tokunbo
Publicado: (2007)

Dynamics and control of hybrid mechanical systems /
Publicado: (2010)

Optimal Boundary Control and Boundary Stabilization of Hyperbolic Systems
por: Gugat, Martin
Publicado: (2015)

Complexity Management in Fuzzy Systems A Rule Base Compression Approach /
por: Gegov, Alexander
Publicado: (2007)

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach /
por: Pavlov, Alexey Victorovich, et al.
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_m0pd3rqgoj0rqi5t5j27hu9fkj