Author: Xudong Zhao
Publisher: Springer
ISBN: 3319448307
Category : Technology & Engineering
Languages : en
Pages : 172
Book Description
This book offers its readers a detailed overview of the synthesis of switched systems, with a focus on switching stabilization and intelligent control. The problems investigated are not only previously unsolved theoretically but also of practical importance in many applications: voltage conversion, naval piloting and navigation and robotics, for example. The book considers general switched-system models and provides more efficient design methods to bring together theory and application more closely than was possible using classical methods. It also discusses several different classes of switched systems. For general switched linear systems and switched nonlinear systems comprising unstable subsystems, it introduces novel ideas such as invariant subspace theory and the time-scheduled Lyapunov function method of designing switching signals to stabilize the underlying systems. For some typical switched nonlinear systems affected by various complex dynamics, the book proposes novel design approaches based on intelligent control concepts. It is a useful source of up-to-date design methods and algorithms for researchers studying switched systems and graduate students of control theory and engineering. In addition, it is a valuable reference resource for practising engineers working in switched-system control design. Readers should have a basic knowledge of linear, nonlinear and switched systems.
Control Synthesis of Switched Systems
Author: Xudong Zhao
Publisher: Springer
ISBN: 3319448307
Category : Technology & Engineering
Languages : en
Pages : 172
Book Description
This book offers its readers a detailed overview of the synthesis of switched systems, with a focus on switching stabilization and intelligent control. The problems investigated are not only previously unsolved theoretically but also of practical importance in many applications: voltage conversion, naval piloting and navigation and robotics, for example. The book considers general switched-system models and provides more efficient design methods to bring together theory and application more closely than was possible using classical methods. It also discusses several different classes of switched systems. For general switched linear systems and switched nonlinear systems comprising unstable subsystems, it introduces novel ideas such as invariant subspace theory and the time-scheduled Lyapunov function method of designing switching signals to stabilize the underlying systems. For some typical switched nonlinear systems affected by various complex dynamics, the book proposes novel design approaches based on intelligent control concepts. It is a useful source of up-to-date design methods and algorithms for researchers studying switched systems and graduate students of control theory and engineering. In addition, it is a valuable reference resource for practising engineers working in switched-system control design. Readers should have a basic knowledge of linear, nonlinear and switched systems.
Publisher: Springer
ISBN: 3319448307
Category : Technology & Engineering
Languages : en
Pages : 172
Book Description
This book offers its readers a detailed overview of the synthesis of switched systems, with a focus on switching stabilization and intelligent control. The problems investigated are not only previously unsolved theoretically but also of practical importance in many applications: voltage conversion, naval piloting and navigation and robotics, for example. The book considers general switched-system models and provides more efficient design methods to bring together theory and application more closely than was possible using classical methods. It also discusses several different classes of switched systems. For general switched linear systems and switched nonlinear systems comprising unstable subsystems, it introduces novel ideas such as invariant subspace theory and the time-scheduled Lyapunov function method of designing switching signals to stabilize the underlying systems. For some typical switched nonlinear systems affected by various complex dynamics, the book proposes novel design approaches based on intelligent control concepts. It is a useful source of up-to-date design methods and algorithms for researchers studying switched systems and graduate students of control theory and engineering. In addition, it is a valuable reference resource for practising engineers working in switched-system control design. Readers should have a basic knowledge of linear, nonlinear and switched systems.
Switching in Systems and Control
Author: Daniel Liberzon
Publisher: Springer Science & Business Media
ISBN: 1461200172
Category : Science
Languages : en
Pages : 232
Book Description
The theory of switched systems is related to the study of hybrid systems, which has gained attention from control theorists, computer scientists, and practicing engineers. This book examines switched systems from a control-theoretic perspective, focusing on stability analysis and control synthesis of systems that combine continuous dynamics with switching events. It includes a vast bibliography and a section of technical and historical notes.
Publisher: Springer Science & Business Media
ISBN: 1461200172
Category : Science
Languages : en
Pages : 232
Book Description
The theory of switched systems is related to the study of hybrid systems, which has gained attention from control theorists, computer scientists, and practicing engineers. This book examines switched systems from a control-theoretic perspective, focusing on stability analysis and control synthesis of systems that combine continuous dynamics with switching events. It includes a vast bibliography and a section of technical and historical notes.
Discontinuous Systems
Author: Yury V. Orlov
Publisher: Springer Science & Business Media
ISBN: 1848009844
Category : Technology & Engineering
Languages : en
Pages : 333
Book Description
Discontinuous Systems develops nonsmooth stability analysis and discontinuous control synthesis based on novel modeling of discontinuous dynamic systems, operating under uncertain conditions. While being primarily a research monograph devoted to the theory of discontinuous dynamic systems, no background in discontinuous systems is required; such systems are introduced in the book at the appropriate conceptual level. Being developed for discontinuous systems, the theory is successfully applied to their subclasses ā variable-structure and impulsive systems ā as well as to finite- and infinite-dimensional systems such as distributed-parameter and time-delay systems. The presentation concentrates on algorithms rather than on technical implementation although theoretical results are illustrated by electromechanical applications. These specific applications complete the book and, together with the introductory theoretical constituents bring some elements of the tutorial to the text.
Publisher: Springer Science & Business Media
ISBN: 1848009844
Category : Technology & Engineering
Languages : en
Pages : 333
Book Description
Discontinuous Systems develops nonsmooth stability analysis and discontinuous control synthesis based on novel modeling of discontinuous dynamic systems, operating under uncertain conditions. While being primarily a research monograph devoted to the theory of discontinuous dynamic systems, no background in discontinuous systems is required; such systems are introduced in the book at the appropriate conceptual level. Being developed for discontinuous systems, the theory is successfully applied to their subclasses ā variable-structure and impulsive systems ā as well as to finite- and infinite-dimensional systems such as distributed-parameter and time-delay systems. The presentation concentrates on algorithms rather than on technical implementation although theoretical results are illustrated by electromechanical applications. These specific applications complete the book and, together with the introductory theoretical constituents bring some elements of the tutorial to the text.
Cyber Physical Systems. Model-Based Design
Author: Roger Chamberlain
Publisher: Springer
ISBN: 3030237036
Category : Computers
Languages : en
Pages : 237
Book Description
This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
Publisher: Springer
ISBN: 3030237036
Category : Computers
Languages : en
Pages : 237
Book Description
This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
Control Synthesis for Semi-Markovian Switching Systems
Author: Wenhai Qi
Publisher: Springer Nature
ISBN: 9819903173
Category : Technology & Engineering
Languages : en
Pages : 227
Book Description
The book focuses on control synthesis for semi-Markovian switching systems. By using multiple semi-Markovian Lyapunov function approaches, a basic theoretical framework is formed toward the issue of control synthesis for semi-Markovian switching systems. This is achieved by providing an in-depth study on several major topics such as sliding mode control, finite-time control, quantized control, event-triggered control, synchronization, and fuzzy control for semi-Markovian switching systems. The comprehensive and systematic treatment of semi-Markovian switching systems is one of the major features of the book, which is particularly suitable for readers who are interested to learn control theory and engineering. By reading this book, the reader can obtain the most advanced analysis and design techniques for stochastic switching systems.
Publisher: Springer Nature
ISBN: 9819903173
Category : Technology & Engineering
Languages : en
Pages : 227
Book Description
The book focuses on control synthesis for semi-Markovian switching systems. By using multiple semi-Markovian Lyapunov function approaches, a basic theoretical framework is formed toward the issue of control synthesis for semi-Markovian switching systems. This is achieved by providing an in-depth study on several major topics such as sliding mode control, finite-time control, quantized control, event-triggered control, synchronization, and fuzzy control for semi-Markovian switching systems. The comprehensive and systematic treatment of semi-Markovian switching systems is one of the major features of the book, which is particularly suitable for readers who are interested to learn control theory and engineering. By reading this book, the reader can obtain the most advanced analysis and design techniques for stochastic switching systems.
Formal Methods
Author: Andre Platzer
Publisher: Springer Nature
ISBN: 3031711777
Category :
Languages : en
Pages : 669
Book Description
Publisher: Springer Nature
ISBN: 3031711777
Category :
Languages : en
Pages : 669
Book Description
Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
Author: Lixian Zhang
Publisher: Springer
ISBN: 3319288504
Category : Technology & Engineering
Languages : en
Pages : 268
Book Description
This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characteristics and a literature review mainly on the control and filtering for the underlying systems. By summarizing the multiple Lyapunov-like functions (MLFs) approach in which different requirements on comparisons of Lyapunov function values at switching instants, a series of methodologies are developed for the issues on stability and stabilization, and l2-gain performance or tube-based robustness for lā disturbance, respectively, in Chapters 2 and 3. Chapters 4 and 5 are devoted to the control and filtering problems for the time-dependent switched linear systems with either polytopic uncertainties or measurable time-varying parameters in different sense of disturbances. The asynchronous switching problem, where there is time lag between the switching of the currently activated system mode and the controller/filter to be designed, is investigated in Chapter 6. The systems with various time delays under typical time-dependent switching signals are addressed in Chapter 7.
Publisher: Springer
ISBN: 3319288504
Category : Technology & Engineering
Languages : en
Pages : 268
Book Description
This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characteristics and a literature review mainly on the control and filtering for the underlying systems. By summarizing the multiple Lyapunov-like functions (MLFs) approach in which different requirements on comparisons of Lyapunov function values at switching instants, a series of methodologies are developed for the issues on stability and stabilization, and l2-gain performance or tube-based robustness for lā disturbance, respectively, in Chapters 2 and 3. Chapters 4 and 5 are devoted to the control and filtering problems for the time-dependent switched linear systems with either polytopic uncertainties or measurable time-varying parameters in different sense of disturbances. The asynchronous switching problem, where there is time lag between the switching of the currently activated system mode and the controller/filter to be designed, is investigated in Chapter 6. The systems with various time delays under typical time-dependent switching signals are addressed in Chapter 7.
Observer-Based Fault Diagnosis and Fault-Tolerant Control for Switched Systems
Author: Dongsheng Du
Publisher: Springer Nature
ISBN: 9811590737
Category : Technology & Engineering
Languages : en
Pages : 289
Book Description
This book focuses on the fault diagnosis observer design for the switched system. Model-based fault diagnosis and fault tolerant control are one of the most popular research directions in recent decades. It contains eight chapters. Every chapter is independent in the method of observer design, but all chapters are around the same topic. Besides, in each chapter, the model description and theoretical results are firstly provided, then some practical application examples are illustrated to prove the obtained results. The advanced theoretical methodologies will benefit researchers or engineers in the area of safety engineering and the arrangement of the structure will help the readers to understand the content easily.
Publisher: Springer Nature
ISBN: 9811590737
Category : Technology & Engineering
Languages : en
Pages : 289
Book Description
This book focuses on the fault diagnosis observer design for the switched system. Model-based fault diagnosis and fault tolerant control are one of the most popular research directions in recent decades. It contains eight chapters. Every chapter is independent in the method of observer design, but all chapters are around the same topic. Besides, in each chapter, the model description and theoretical results are firstly provided, then some practical application examples are illustrated to prove the obtained results. The advanced theoretical methodologies will benefit researchers or engineers in the area of safety engineering and the arrangement of the structure will help the readers to understand the content easily.
Automated Technology for Verification and Analysis
Author: Yu-Fang Chen
Publisher: Springer Nature
ISBN: 3030317846
Category : Computers
Languages : en
Pages : 551
Book Description
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
Publisher: Springer Nature
ISBN: 3030317846
Category : Computers
Languages : en
Pages : 551
Book Description
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
Computer Aided Verification
Author: Hana Chockler
Publisher: Springer
ISBN: 3319961454
Category : Computers
Languages : en
Pages : 709
Book Description
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Publisher: Springer
ISBN: 3319961454
Category : Computers
Languages : en
Pages : 709
Book Description
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.