Safe Autonomy with Control Barrier Functions
Wei Xiao, Christos G. Cassandras, Calin Belta
Inbunden, 2023
938 kr
Formal Methods for Discrete-Time Dynamical Systems
Inbunden, Engelska, 2017
Del 89 i serien Studies in Systems, Decision and Control
1 868 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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 mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.
Produktinformation
Utforska kategorier
Recensioner i media
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Safe Autonomy with Control Barrier Functions
Calin Belta, Christos G. Cassandras, Wei Xiao
E-bok
2023877 kr
Safe Autonomy with Control Barrier Functions
Wei Xiao, Christos G. Cassandras, Calin Belta
Häftad, 2024
664 kr
Adaptive and Learning-Based Control of Safety-Critical Systems
Max Cohen, Calin Belta
Inbunden, 2023
885 kr
Adaptive and Learning-Based Control of Safety-Critical Systems
Max Cohen, Calin Belta
Häftad, 2024
666 kr
Formal Methods for Discrete-Time Dynamical Systems
Ebru Aydin Gol, Boyan Yordanov, Calin Belta
E-bok
20172 384 kr
Hoppa över listan
Mer från samma serie
Del 502
Processing, Estimation and Measurement of Signals Parameters in Public Distribution Networks
Predrag Petrović
Inbunden, 2023
1 430 kr
Del 427
Financial Econometrics: Bayesian Analysis, Quantum Uncertainty, and Related Topics
Nguyen Ngoc Thach, Vladik Kreinovich, Doan Thanh Ha, Nguyen Duc Trung
Inbunden, 2022
2 600 kr
Del 388
Power Systems Research and Operation
Olexandr Kyrylenko, Andrii Zharkin, Oleksandr Butkevych, Ihor Blinov, Ievgen Zaitsev, Artur Zaporozhets
Inbunden, 2021
1 540 kr
Del 179
Models and Theories in Social Systems
Cristina Flaut, Šárka Hošková-Mayerová, Daniel Flaut
Inbunden, 2018
1 698 kr
Stochastic Control and Filtering over Constrained Communication Networks
Qinyuan Liu, Zidong Wang, Xiao He
Inbunden, 2018
1 321 kr
Del 171
Green IT Engineering: Social, Business and Industrial Applications
Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk
Inbunden, 2018
1 649 kr
Del 176
Designing Cognitive Cities
Edy Portmann, Marco E. Tabacchi, Rudolf Seising, Astrid Habenstein
Inbunden, 2018
1 135 kr
Del 180
Economy, Business and Uncertainty: New Ideas for a Euro-Mediterranean Industrial Policy
Jaime Gil-Lafuente, Domenico Marino, Francesco Carlo Morabito
Inbunden, 2018
2 197 kr
Del 181
Big Data-driven World: Legislation Issues and Control Technologies
Alla G. Kravets
Inbunden, 2018
1 135 kr
Del 182
Optimization of the Taxation System: Preconditions, Tendencies and Perspectives
Irina V. Gashenko, Yulia S. Zima, Armenak V. Davidyan
Inbunden, 2018
1 135 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Del 89
Formal Methods for Discrete-Time Dynamical Systems
Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Häftad, 2018
1 868 kr
Formal Methods for Discrete-Time Dynamical Systems
Ebru Aydin Gol, Boyan Yordanov, Calin Belta
E-bok
20172 384 kr
Adaptive and Learning-Based Control of Safety-Critical Systems
Max Cohen, Calin Belta
Häftad, 2024
666 kr
Safe Autonomy with Control Barrier Functions
Calin Belta, Christos G. Cassandras, Wei Xiao
E-bok
2023877 kr
Safe Autonomy with Control Barrier Functions
Wei Xiao, Christos G. Cassandras, Calin Belta
Inbunden, 2023
938 kr
Safe Autonomy with Control Barrier Functions
Wei Xiao, Christos G. Cassandras, Calin Belta
Häftad, 2024
664 kr
Adaptive and Learning-Based Control of Safety-Critical Systems
Max Cohen, Calin Belta
Inbunden, 2023
885 kr