| 000 | 04790nam a22006375i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-27576-0 | ||
| 003 | DE-He213 | ||
| 005 | 20240730163613.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230509s2023 sz | s |||| 0|eng d | ||
| 020 |
_a9783031275760 _9978-3-031-27576-0 |
||
| 024 | 7 |
_a10.1007/978-3-031-27576-0 _2doi |
|
| 050 | 4 | _aTJ212-225 | |
| 050 | 4 | _aTJ210.2-211.495 | |
| 072 | 7 |
_aTJFM _2bicssc |
|
| 072 | 7 |
_aTEC007000 _2bisacsh |
|
| 072 | 7 |
_aTJFM _2thema |
|
| 082 | 0 | 4 |
_a629.8 _223 |
| 100 | 1 |
_aXiao, Wei. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _979445 |
|
| 245 | 1 | 0 |
_aSafe Autonomy with Control Barrier Functions _h[electronic resource] : _bTheory and Applications / _cby Wei Xiao, Christos G. Cassandras, Calin Belta. |
| 250 | _a1st ed. 2023. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2023. |
|
| 300 |
_aXX, 212 p. 56 illus., 54 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aSynthesis Lectures on Computer Science, _x1932-1686 |
|
| 505 | 0 | _aIntroduction to Autonomy and Safety -- Control Barrier Functions -- High Order Control Barrier Functions -- Feasibility Guarantees for CBFs -- Adaptive CBFs -- Safety Guarantees for Systems with Unknown Dynamics -- Applications to Traffic Networks -- Applications to Robotics -- Conclusions and Future Directions. | |
| 520 | _aThis book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system and can be used to enforce safety. Safety is formalized using an emerging state-of-the-art approach based on CBFs, and many illustrative examples from autonomous driving, traffic control, and robot control are provided. Safety is central to autonomous systems since they are intended to operate with minimal or no human supervision, and a single failure could result in catastrophic results. The authors discuss how safety can be guaranteed via both theoretical and application perspectives. This presented method is computationally efficient and can be easily implemented in real-time systems that require high-frequency reactive control. In addition, the CBF approach can easily deal with nonlinear models and complex constraints used in a wide spectrum of applications, including autonomous driving, robotics, and traffic control. Withthe proliferation of autonomous systems, such as self-driving cars, mobile robots, and unmanned air vehicles, safety plays a crucial role in ensuring their widespread adoption. This book considers the integration of safety guarantees into the operation of such systems including typical safety requirements that involve collision avoidance, technological system limitations, and bounds on real-time executions. Adaptive approaches for safety are also proposed for time-varying execution bounds and noisy dynamics. In addition, this book: Presents all aspects of safe autonomy including the theoretical development, solution of specific problems, and analysis and resolution of feasibility guarantees; Discusses how the Control Barrier Function (CBF) approach can be used for most autonomous systems and proposes safety guarantees for systems with unknown dynamics using novel event-driven approaches; Establishes the basic concepts, definitions, and algorithms required to understand the CBF approach, making it easy to comprehend and apply in practice. | ||
| 650 | 0 |
_aControl engineering. _931970 |
|
| 650 | 0 |
_aRobotics. _92393 |
|
| 650 | 0 |
_aAutomation. _92392 |
|
| 650 | 0 |
_aMachine learning. _91831 |
|
| 650 | 0 |
_aDynamics. _979446 |
|
| 650 | 0 |
_aNonlinear theories. _93339 |
|
| 650 | 0 |
_aArtificial intelligence. _93407 |
|
| 650 | 1 | 4 |
_aControl, Robotics, Automation. _931971 |
| 650 | 2 | 4 |
_aControl and Systems Theory. _931972 |
| 650 | 2 | 4 |
_aMachine Learning. _91831 |
| 650 | 2 | 4 |
_aApplied Dynamical Systems. _932005 |
| 650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
| 650 | 2 | 4 |
_aAutomation. _92392 |
| 700 | 1 |
_aCassandras, Christos G. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _979447 |
|
| 700 | 1 |
_aBelta, Calin. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _979448 |
|
| 710 | 2 |
_aSpringerLink (Online service) _979449 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031275753 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031275777 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031275784 |
| 830 | 0 |
_aSynthesis Lectures on Computer Science, _x1932-1686 _979450 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-27576-0 |
| 912 | _aZDB-2-SXSC | ||
| 942 | _cEBK | ||
| 999 |
_c84784 _d84784 |
||