Computation-Aware Algorithmic Design for Cyber-Physical Systems
Computation-Aware Algorithmic Design for Cyber-Physical Systems

Author: Maria Prandini

Publisher: Springer Nature

Published: 2023-12-16

Total Pages: 251

ISBN-13: 303143448X

DOWNLOAD EBOOK

This 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.

Principles of Cyber-Physical Systems
Principles of Cyber-Physical Systems

Author: Rajeev Alur

Publisher: MIT Press

Published: 2015-04-24

Total Pages: 459

ISBN-13: 0262328461

DOWNLOAD EBOOK

A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis. The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specification formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics. This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority. It is suitable for classroom use or as a reference for professionals.

Hybrid Feedback Control
Hybrid Feedback Control

Author: Ricardo G. Sanfelice

Publisher: Princeton University Press

Published: 2021-01-12

Total Pages: 420

ISBN-13: 0691180229

DOWNLOAD EBOOK

"Hybrid systems are those that-unlike classical systems-exhibit both discrete changes, or "jumps", and continuous changes, or "flow." The canonical example of a hybrid system is a bouncing ball: the ball's speed changes continuously between bounces, but there is a discrete jump in velocity each time the ball impacts the ground. Hybrid systems feature widely across disciplines, including in biology, computer science, and mechanical engineering; examples range from fireflies to self-driving cars. Although classical control theory provides powerful tools for analyzing systems that exhibit either flow or jumps, it is ill-equipped to handle hybrid systems, which feature both behaviors. In Hybrid Feedback Control, Ricardo Sanfelice presents a self-contained introduction to the control of hybrid systems, and develops new tools for their design and analysis. This monograph uses hybrid systems notation to present a new, unified control theory framework, thus filling an important gap in the control theory literature. In addition to presenting this theoretical framework, the book also includes a variety of examples and exercises, a Matlab toolbox, and a summary at the beginning of each chapter. The book was originally used in a series of lectures on the topic, and will find a modest amount of crossover course use. The book will also find use outside the field of control, particularly in dynamical systems theory, applied mathematics, and computer science"--

Advances in Artificial Systems for Logistics Engineering III
Advances in Artificial Systems for Logistics Engineering III

Author: Zhengbing Hu

Publisher: Springer Nature

Published: 2023-07-15

Total Pages: 1107

ISBN-13: 3031361156

DOWNLOAD EBOOK

This book comprises high-quality refereed research papers presented at the 3rd International Conference on Artificial Intelligence and Logistics Engineering (ICAILE2023), held in Wuhan, China, on March 11–12, 2023, organized jointly by Wuhan University of Technology, Nanning University, the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute", Huazhong University of Science and Technology, the Polish Operational and Systems Society, Wuhan Technology and Business University, and the International Research Association of Modern Education and Computer Science. The topics discussed in the book include state-of-the-art papers in artificial intelligence and logistics engineering. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in artificial intelligence and its applications in logistics engineering.

Security-Aware Design for Cyber-Physical Systems
Security-Aware Design for Cyber-Physical Systems

Author: Chung-Wei Lin

Publisher: Springer

Published: 2017-01-02

Total Pages: 106

ISBN-13: 3319513281

DOWNLOAD EBOOK

Addressing the rising security issues during the design stages of cyber-physical systems, this book develops a systematic approach to address security at early design stages together with all other design constraints. Cyber-attacks become more threatening as systems are becoming more connected with the surrounding environment, infrastructures, and other systems. Security mechanisms can be designed to protect against attacks and meet security requirements, but there are many challenges of applying security mechanisms to cyber-physical systems including open environments, limited resources, strict timing requirements, and large number of devices. Designed for researchers and professionals, this book is valuable for individuals working in network systems, security mechanisms, and system design. It is also suitable for advanced-level students of computer science.

NASA Formal Methods
NASA Formal Methods

Author: Jyotirmoy V. Deshmukh

Publisher: Springer Nature

Published: 2022-05-19

Total Pages: 848

ISBN-13: 3031067738

DOWNLOAD EBOOK

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.

Responsible AI
Responsible AI

Author: CSIRO

Publisher: Addison-Wesley Professional

Published: 2023-12-08

Total Pages: 425

ISBN-13: 0138073880

DOWNLOAD EBOOK

THE FIRST PRACTICAL GUIDE FOR OPERATIONALIZING RESPONSIBLE AI ̃FROM MUL TI°LEVEL GOVERNANCE MECHANISMS TO CONCRETE DESIGN PATTERNS AND SOFTWARE ENGINEERING TECHNIQUES. AI is solving real-world challenges and transforming industries. Yet, there are serious concerns about its ability to behave and make decisions in a responsible way. Operationalizing responsible AI is about providing concrete guidelines to a wide range of decisionmakers and technologists on how to govern, design, and build responsible AI systems. These include governance mechanisms at the industry, organizational, and team level; software engineering best practices; architecture styles and design patterns; system-level techniques connecting code with data and models; and trade-offs in design decisions. Responsible AI includes a set of practices that technologists (for example, technology-conversant decision-makers, software developers, and AI practitioners) can undertake to ensure the AI systems they develop or adopt are trustworthy throughout the entire lifecycle and can be trusted by those who use them. The book offers guidelines and best practices not just for the AI part of a system, but also for the much larger software infrastructure that typically wraps around the AI. First book of its kind to cover the topic of operationalizing responsible AI from the perspective of the entire software development life cycle. Concrete and actionable guidelines throughout the lifecycle of AI systems, including governance mechanisms, process best practices, design patterns, and system engineering techniques. Authors are leading experts in the areas of responsible technology, AI engineering, and software engineering. Reduce the risks of AI adoption, accelerate AI adoption in responsible ways, and translate ethical principles into products, consultancy, and policy impact to support the AI industry. Online repository of patterns, techniques, examples, and playbooks kept up-to-date by the authors. Real world case studies to demonstrate responsible AI in practice. Chart the course to responsible AI excellence, from governance to design, with actionable insights and engineering prowess found in this defi nitive guide.

Stochastic Hybrid Systems
Stochastic Hybrid Systems

Author: Christos G. Cassandras

Publisher: CRC Press

Published: 2018-10-03

Total Pages: 301

ISBN-13: 1420008544

DOWNLOAD EBOOK

Because they incorporate both time- and event-driven dynamics, stochastic hybrid systems (SHS) have become ubiquitous in a variety of fields, from mathematical finance to biological processes to communication networks to engineering. Comprehensively integrating numerous cutting-edge studies, Stochastic Hybrid Systems presents a captivating treatment of some of the most ambitious types of dynamic systems. Cohesively edited by leading experts in the field, the book introduces the theoretical basics, computational methods, and applications of SHS. It first discusses the underlying principles behind SHS and the main design limitations of SHS. Building on these fundamentals, the authoritative contributors present methods for computer calculations that apply SHS analysis and synthesis techniques in practice. The book concludes with examples of systems encountered in a wide range of application areas, including molecular biology, communication networks, and air traffic management. It also explains how to resolve practical problems associated with these systems. Stochastic Hybrid Systems achieves an ideal balance between a theoretical treatment of SHS and practical considerations. The book skillfully explores the interaction of physical processes with computerized equipment in an uncertain environment, enabling a better understanding of sophisticated as well as everyday devices and processes.

Hybrid Dynamical Systems
Hybrid Dynamical Systems

Author: Rafal Goebel

Publisher: Princeton University Press

Published: 2012-03-18

Total Pages: 227

ISBN-13: 1400842638

DOWNLOAD EBOOK

Hybrid dynamical systems exhibit continuous and instantaneous changes, having features of continuous-time and discrete-time dynamical systems. Filled with a wealth of examples to illustrate concepts, this book presents a complete theory of robust asymptotic stability for hybrid dynamical systems that is applicable to the design of hybrid control algorithms--algorithms that feature logic, timers, or combinations of digital and analog components. With the tools of modern mathematical analysis, Hybrid Dynamical Systems unifies and generalizes earlier developments in continuous-time and discrete-time nonlinear systems. It presents hybrid system versions of the necessary and sufficient Lyapunov conditions for asymptotic stability, invariance principles, and approximation techniques, and examines the robustness of asymptotic stability, motivated by the goal of designing robust hybrid control algorithms. This self-contained and classroom-tested book requires standard background in mathematical analysis and differential equations or nonlinear systems. It will interest graduate students in engineering as well as students and researchers in control, computer science, and mathematics.