Adaptive and Learning-Based Control of Safety-Critical Systems (Record no. 84686)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03864nam a22006255i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-29310-8 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730163517.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 230515s2023 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783031293108 |
| -- | 978-3-031-29310-8 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 629.8 |
| 100 1# - AUTHOR NAME | |
| Author | Cohen, Max. |
| 245 10 - TITLE STATEMENT | |
| Title | Adaptive and Learning-Based Control of Safety-Critical Systems |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2023. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XX, 194 p. 31 illus., 28 illus. in color. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Synthesis Lectures on Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | Introduction -- Lyapunov-based Control Design -- Safety-Critical Control -- Adaptive Control Lyapunov Functions -- Adaptive Safety-Critical Control -- Modular Adaptive Safety-Critical Control -- Robust Safety-Critical Control for Systems with Actuation Uncertainty -- Safe Exploration in Model-Based Reinforcement Learning -- Temporal Logic Guided Safe Model-Based Reinforcement Learning -- Conclusion. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems. Safety is critical to many applications, such as autonomous driving, air traffic control, and robotics. As these learning-enabled technologies become more prevalent in the control of autonomous systems, it becomes increasingly important to ensure that such systems are safe. To address these challenges, the authors provide a self-contained treatment of learning-based control techniques with rigorous guarantees of stability and safety. This book contains recent results on provably correct control techniques from specifications that go beyond safety and stability, such as temporal logic formulas. The authors bring together control theory, optimization, machine learning, and formal methods and present worked-out examples and extensive simulation examples to complement the mathematical style of presentation. Prerequisites are minimal, and the underlying ideas are accessible to readers with only a brief background in control-theoretic ideas, such as Lyapunov stability theory. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Belta, Calin. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-031-29310-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2023. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Control engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Robotics. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Automation. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Machine learning. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Dynamics. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Nonlinear theories. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Control, Robotics, Automation. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Control and Systems Theory. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Machine Learning. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Applied Dynamical Systems. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Artificial Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Automation. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 1932-1686 |
| 912 ## - | |
| -- | ZDB-2-SXSC |
No items available.