LEADER 04346nam 22006135 450 001 9910770256903321 005 20251008133546.0 010 $a9783031434488$b(electronic bk.) 010 $z9783031434471 024 7 $a10.1007/978-3-031-43448-8 035 $a(MiAaPQ)EBC31023039 035 $a(Au-PeEL)EBL31023039 035 $a(DE-He213)978-3-031-43448-8 035 $a(CKB)29414048400041 035 $a(OCoLC)1415896115 035 $a(EXLCZ)9929414048400041 100 $a20231216d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputation-Aware Algorithmic Design for Cyber-Physical Systems /$fedited by Maria Prandini, Ricardo G. Sanfelice 205 $a1st ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Birkhäuser,$d2023. 215 $a1 online resource (251 pages) 225 1 $aSystems & Control: Foundations & Applications,$x2324-9757 311 08$aPrint version: Prandini, Maria Computation-Aware Algorithmic Design for Cyber-Physical Systems Cham : Springer International Publishing AG,c2024 9783031434471 327 $aIntroduction (Prandini) -- Models, Architectures, and Analysis for Computationally-aware CPS (Sprinkle) -- Analysis and Design of Uncertain Cyber-Physical Systems (Pinto) -- Handling complexity in large scale cyber-physical systems through distributed computation (Prandini) -- Platoon coordination in large-scale networks: a game theoretic approach (Mårtensson) -- A Linear Programming Approach for Resource-Aware Information-Theoretic Tree Abstractions (Larsson) -- Information Flow in Event-Based Stabilization of Cyber-Physical Systems (Khojasteh) -- Data-Driven Estimation of Forward Reachable Sets (Devonport) -- Set-valued Model Predictive Control (Risso) -- Automated Synthesis of Certifiable Controllers for Cyber-physical Systems: A Computation-Aware Approach (Khaled). 330 $aThis contributed volume aims to build the foundation of a framework for computationally aware algorithmic design for cyber-physical systems (CPSs), focusing on approaches that take computation into account at the design stage to address their impact on performance and safety. It demonstrates how novel techniques may emerge from the combination of formal methods, model predictive control, distributed optimization, data-driven methods, reconfigurable/adaptive methods, and information-theoretic techniques. Chapters are written by both researchers and practitioners and cover such topics as analysis and design of uncertain CPSs, cooperative and non-cooperative paradigms for handling complexity in large scale CPSs, task-relevant environment abstractions for autonomous systems based on information theory, information flow in event-based stabilization of CPSs, set-valued model predictive control,and automated synthesis of certifiable controllers for CPSs. State-of-the-art applications and case studies are provided throughout with a special focus on intelligent transportation systems and autonomous vehicles. Graduate students and researchers with an interest in CPS verification and control will find this volume to be a valuable resource in their work. It will also appeal to researchers from disciplines other than control, such as computer science, operations research, applied mathematics, and robotics. . 410 0$aSystems & Control: Foundations & Applications,$x2324-9757 606 $aSystem theory 606 $aControl theory 606 $aAutomatic control 606 $aCooperating objects (Computer systems) 606 $aSystems Theory, Control 606 $aControl and Systems Theory 606 $aCyber-Physical Systems 615 0$aSystem theory. 615 0$aControl theory. 615 0$aAutomatic control. 615 0$aCooperating objects (Computer systems) 615 14$aSystems Theory, Control. 615 24$aControl and Systems Theory. 615 24$aCyber-Physical Systems. 676 $a006.22 700 $aPrandini$b Maria$01460457 701 $aSanfelice$b Ricardo G$0771202 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910770256903321 996 $aComputation-Aware Algorithmic Design for Cyber-Physical Systems$93660303 997 $aUNINA