Verification and Control of Hybrid Systems A Symbolic Approach /

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tabuada, Paulo (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2009.
Θέματα:	Mathematics. Mathematical logic. Computers. System theory. Control engineering. Systems Theory, Control. Control. Models and Principles. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Analysis and Control of Boolean Networks A Semi-tensor Product Approach /
ανά: Cheng, Daizhan, κ.ά.
Έκδοση: (2011)

Discrete, Continuous, and Hybrid Petri Nets
ανά: David, René, κ.ά.
Έκδοση: (2005)

Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31–August 1, 2005, Revised Selected Papers /
Έκδοση: (2006)

Stochastic Reachability Analysis of Hybrid Systems
ανά: Bujorianu, Luminita Manuela
Έκδοση: (2012)

System Identification with Quantized Observations
ανά: Wang, Le Yi, κ.ά.
Έκδοση: (2010)

Tautological Control Systems
ανά: Lewis, Andrew D.
Έκδοση: (2014)

Analysis and Design of Nonlinear Control Systems
ανά: Cheng, Daizhan, κ.ά.
Έκδοση: (2010)

Sliding Mode Control The Delta-Sigma Modulation Approach /
ανά: Sira-Ramírez, Hebertt
Έκδοση: (2015)

Complex Conjugate Matrix Equations for Systems and Control
ανά: Wu, Ai-Guo, κ.ά.
Έκδοση: (2017)

Introduction to Time-Delay Systems Analysis and Control /
ανά: Fridman, Emilia
Έκδοση: (2014)

Power System Dynamics and Control
ανά: Kwatny, Harry G., κ.ά.
Έκδοση: (2016)

Viability of Hybrid Systems A Controllability Operator Approach /
ανά: Labinaz, G., κ.ά.
Έκδοση: (2012)

Discrete, Continuous, and Hybrid Petri Nets
ανά: David, RenΓ©
Έκδοση: (2005)

Discrete, Continuous, and Hybrid Petri Nets
ανά: David, René, κ.ά.
Έκδοση: (2010)

Mathematical Control Theory An Introduction /
ανά: Zabczyk, Jerzy
Έκδοση: (2008)

Control of Complex Systems Structural Constraints and Uncertainty /
ανά: Zecevic, Aleksandar, κ.ά.
Έκδοση: (2010)

Continuum Deformation of Multi-Agent Systems
ανά: Rastgoftar, Hossein
Έκδοση: (2016)

Self-Oscillations in Dynamic Systems A New Methodology via Two-Relay Controllers /
ανά: Aguilar, Luis T., κ.ά.
Έκδοση: (2015)

Predictor Feedback for Delay Systems: Implementations and Approximations
ανά: Karafyllis, Iasson, κ.ά.
Έκδοση: (2017)

Discrete, Continuous, and Hybrid Petri Nets
ανά: David, RenΓ©
Έκδοση: (2010)

Sliding Mode Control and Observation
ανά: Shtessel, Yuri, κ.ά.
Έκδοση: (2014)

Discrete–Time Stochastic Control and Dynamic Potential Games The Euler–Equation Approach /
ανά: González-Sánchez, David, κ.ά.
Έκδοση: (2013)

Optimal Control
ανά: Vinter, Richard
Έκδοση: (2010)

Linear Stochastic Systems A Geometric Approach to Modeling, Estimation and Identification /
ανά: Lindquist, Anders, κ.ά.
Έκδοση: (2015)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
Έκδοση: (2010)

Robust Output LQ Optimal Control via Integral Sliding Modes
ανά: Fridman, Leonid, κ.ά.
Έκδοση: (2014)

Advances in Variable Structure and Sliding Mode Control
Έκδοση: (2006)

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
ανά: Platzer, André
Έκδοση: (2010)

Internal and External Stabilization of Linear Systems with Constraints
ανά: Saberi, Ali, κ.ά.
Έκδοση: (2012)

Optimal Boundary Control and Boundary Stabilization of Hyperbolic Systems
ανά: Gugat, Martin
Έκδοση: (2015)

Perspectives in Mathematical System Theory, Control, and Signal Processing A Festschrift in Honor of Yutaka Yamamoto on the Occasion of his 60th Birthday /
Έκδοση: (2010)

System Identification Using Regular and Quantized Observations Applications of Large Deviations Principles /
ανά: He, Qi, κ.ά.
Έκδοση: (2013)

Model-Based Control of Networked Systems
ανά: Garcia, Eloy, κ.ά.
Έκδοση: (2014)

Stability Analysis and Robust Control of Time-Delay Systems
ανά: Wu, Min, κ.ά.
Έκδοση: (2010)

Stability of Linear Delay Differential Equations A Numerical Approach with MATLAB /
ανά: Breda, Dimitri, κ.ά.
Έκδοση: (2015)

The Robust Maximum Principle Theory and Applications /
ανά: Boltyanski, Vladimir G., κ.ά.
Έκδοση: (2012)

Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools /
ανά: Hrúz, Branislav, κ.ά.
Έκδοση: (2007)

Advanced H∞ Control Towards Nonsmooth Theory and Applications /
ανά: Orlov, Yury V., κ.ά.
Έκδοση: (2014)

Universal Fuzzy Controllers for Non-affine Nonlinear Systems
ανά: Gao, Qing
Έκδοση: (2017)

Transactions on Petri Nets and Other Models of Concurrency III
Έκδοση: (2009)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_jr587rv5frcqn46knvu34hpr07