Yüklüyor…

QR Kod

Formal Methods for Discrete-Time Dynamical Systems

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathem...

Detaylı Bibliyografya
Asıl Yazarlar:	Belta, Calin (Yazar), Yordanov, Boyan (Yazar), Aydin Gol, Ebru (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	e-Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edisyon:	1st ed. 2017.
Seri Bilgileri:	Studies in Systems, Decision and Control, 89
Konular:	Control engineering. Dynamics. Nonlinear theories. System theory. Control theory. Control and Systems Theory. Applied Dynamical Systems. Systems Theory, Control.
Online Erişim:	Full-text access OPAC'ta görüntüle

Benzer Materyaller

Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
Yazar:: Zhang, Lixian, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Optimization and Control of Dynamic Systems Foundations, Main Developments, Examples and Challenges /
Yazar:: Górecki, Henryk
Baskı/Yayın Bilgisi: (2018)

Analysis and Design of Markov Jump Systems with Complex Transition Probabilities
Yazar:: Zhang, Lixian, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Advances and Applications in Nonlinear Control Systems
Baskı/Yayın Bilgisi: (2016)

Theory and Applications of Non-integer Order Systems 8th Conference on Non-integer Order Calculus and Its Applications, Zakopane, Poland /
Baskı/Yayın Bilgisi: (2017)

Opinion Dynamics and the Evolution of Social Power in Social Networks
Yazar:: Ye, Mengbin
Baskı/Yayın Bilgisi: (2019)

Delays and Networked Control Systems
Baskı/Yayın Bilgisi: (2016)

Advanced Control Techniques in Complex Engineering Systems: Theory and Applications Dedicated to Professor Vsevolod M. Kuntsevich /
Baskı/Yayın Bilgisi: (2019)

Analysis and Control of Output Synchronization for Complex Dynamical Networks
Yazar:: Wang, Jin-Liang, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Control of Discrete-Time Descriptor Systems An Anisotropy-Based Approach /
Yazar:: Belov, Alexey A., ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Positive Systems Theory and Applications (POSTA 2016) Rome, Italy, September 14-16, 2016 /
Baskı/Yayın Bilgisi: (2017)

Physical Fundamentals of Oscillations Frequency Analysis of Periodic Motion Stability /
Yazar:: Chechurin, Leonid, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Fractal Control Theory
Yazar:: Liu, Shu-Tang, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Theoretical Developments and Applications of Non-Integer Order Systems 7th Conference on Non-Integer Order Calculus and Its Applications, Szczecin, Poland /
Baskı/Yayın Bilgisi: (2016)

Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions Theory and Algorithms with MATLAB® /
Yazar:: Deb, Anish, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Advances and Applications in Chaotic Systems
Baskı/Yayın Bilgisi: (2016)

Fractional-order Modeling and Control of Dynamic Systems
Yazar:: Tepljakov, Aleksei
Baskı/Yayın Bilgisi: (2017)

Effective Model-Based Systems Engineering
Yazar:: Borky, John M., ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Supervisory Control of Discrete-Event Systems
Yazar:: Wonham, W. Murray, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Regional Analysis of Time-Fractional Diffusion Processes
Yazar:: Ge, Fudong, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Design and Control of Swarm Dynamics
Yazar:: Bouffanais, Roland
Baskı/Yayın Bilgisi: (2016)

Analysis and Synthesis of Switched Time-Delay Systems: The Average Dwell Time Approach
Yazar:: Zhang, Dan, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Recent Results on Time-Delay Systems Analysis and Control /
Baskı/Yayın Bilgisi: (2016)

Qualitative and Quantitative Analysis of Nonlinear Systems Theory and Applications /
Yazar:: Zgurovsky, Michael Z., ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Applications of the Topological Derivative Method
Yazar:: Novotny, Antonio André, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Safety Dynamics Evaluating Risk in Complex Industrial Systems /
Baskı/Yayın Bilgisi: (2019)

Submodularity in Dynamics and Control of Networked Systems
Yazar:: Clark, Andrew, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Saturated Control of Linear Systems
Yazar:: Benzaouia, Abdellah, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Computer-Controlled Systems with Delay A Transfer Function Approach /
Yazar:: Rosenwasser, Efim N., ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Active Fault-Tolerant Control Systems A Behavioral System Theoretic Perspective /
Yazar:: Jain, Tushar, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Control and Filtering for Semi-Markovian Jump Systems
Yazar:: Li, Fanbiao, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Filtering and Control of Stochastic Jump Hybrid Systems
Yazar:: Yao, Xiuming, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Advances in Variable Structure Systems and Sliding Mode Control-Theory and Applications
Baskı/Yayın Bilgisi: (2018)

Consensus Problem of Delayed Linear Multi-agent Systems Analysis and Design /
Yazar:: Liu, Cheng-Lin, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Fault Tolerant Control Schemes Using Integral Sliding Modes
Yazar:: Hamayun, Mirza Tariq, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Controllability and Minimum Energy Control
Yazar:: Klamka, Jerzy
Baskı/Yayın Bilgisi: (2019)

Lectures in Feedback Design for Multivariable Systems
Yazar:: Isidori, Alberto
Baskı/Yayın Bilgisi: (2017)

Nonlinear Systems Techniques for Dynamical Analysis and Control /
Baskı/Yayın Bilgisi: (2017)

Stabilizing and Optimizing Control for Time-Delay Systems Including Model Predictive Controls /
Yazar:: Kwon, Wook Hyun, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Systemic Decision Making Fundamentals for Addressing Problems and Messes /
Yazar:: Hester, Patrick T., ve diğerleri
Baskı/Yayın Bilgisi: (2017)