Analysis Of Large Scale Piecewise Linear Dynamical Systems

Analysis of Large Scale Piecewise Linear Dynamical Systems

Integrated Formal Methods

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

Efficient Modeling and Control of Large-Scale Systems

Complexity and dynamic order of controlled engineering systems is constantly increasing. Complex large scale systems (where "large" reflects the system’s order and not necessarily its physical size) appear in many engineering fields, such as micro-electromechanics, manufacturing, aerospace, civil engineering and power engineering. Modeling of these systems often result in very high-order models imposing great challenges to the analysis, design and control problems. "Efficient Modeling and Control of Large-Scale Systems" compiles state-of-the-art contributions on recent analytical and computational methods for addressing model reduction, performance analysis and feedback control design for such systems. Also addressed at length are new theoretical developments, novel computational approaches and illustrative applications to various fields, along with: - An interdisciplinary focus emphasizing methods and approaches that can be commonly applied in various engineering fields -Examinations of applications in various fields including micro-electromechanical systems (MEMS), manufacturing processes, power networks, traffic control "Efficient Modeling and Control of Large-Scale Systems" is an ideal volume for engineers and researchers working in the fields of control and dynamic systems.