Robust stability and control for systems that combine continuous-time and discrete-time dynamics. This article is a tutorial on modeling the dynamics of hybrid systems, on the elements of stability theory for hybrid systems, and on the basics of hybrid control. The presentation and selection of material is oriented toward the analysis of asymptotic stability in hybrid systems and the design of stabilizing hybrid controllers. Our emphasis on the robustness of asymptotic stability to data perturbation, external disturbances, and measurement error distinguishes the approach taken here from other approaches to hybrid systems. While we make some connections to alternative approaches, this article does not aspire to be a survey of the hybrid system literature, which is vast and multifaceted.

Hybrid dynamical systems

ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009

Rigid Body Dynamics Algorithms presents the subject of computational rigid-body dynamics through the medium of spatial 6D vector notation. It explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive collection of the best rigid-bodydynamics algorithms to be found in a single source. The use of spatial vector notation greatly reduces the volume of algebra which allows systems to be described using fewer equations and fewer quantities. It also allows problems to be solved in fewer steps, and solutions to be expressed more succinctly. In addition algorithms are explained simply and clearly, and are expressed in a compact form. The use of spatial vector notation facilitates the implementation of dynamics algorithms on a computer: shorter, simpler code that is easier to write, understand and debug, with no loss of efficiency.

Rigid Body Dynamics Algorithms

During the last decade, a big progress has been achieved in the analysis and numerical treatment of Initial Value Problems (IVPs) in Differential Algebraic Equations (DAEs) and Ordinary Differential Equations (ODEs). In spite of the rich variety of results available in the literature, there are still many specific problems that require special attention. Two of such, which are considered in this work, are the optimization of order of accuracy and reduction of cost of functional evaluations of Explicit Runge - Kutta (ERK) methods.

Traditionally, the maximum attainable order p of an s-stage ERK method for advancing the solution of an IVP is such that
p(s)
 4
 
In 1999, Goeken presented an s-stage ERK Method of order p(s)=s +1,s>2.
However, this work focuses on the design of a new approximation algorithm that reduces the cost of functional evaluations and yet increases the attainable order higher 
U n and Jonhson [94]; and the classical ERK methods. The order p of 
the new scheme called Multiderivative Explicit Runge-Kutta (MERK) Methods is such that p(s) 2. The stability, convergence and implementation for the optimization of IVPs in DAEs and ODEs systems are also considered.

Numerical solution of initial value problems in differential - algebraic equations

Digital twin can be defined as a virtual representation of a physical asset enabled through data and simulators for real-time prediction, optimization, monitoring, controlling, and improved decision making. Recent advances in computational pipelines, multiphysics solvers, artificial intelligence, big data cybernetics, data processing and management tools bring the promise of digital twins and their impact on society closer to reality. Digital twinning is now an important and emerging trend in many applications. Also referred to as a computational megamodel, device shadow, mirrored system, avatar or a synchronized virtual prototype, there can be no doubt that a digital twin plays a transformative role not only in how we design and operate cyber-physical intelligent systems, but also in how we advance the modularity of multi-disciplinary systems to tackle fundamental barriers not addressed by the current, evolutionary modeling practices. In this work, we review the recent status of methodologies and techniques related to the construction of digital twins mostly from a modeling perspective. Our aim is to provide a detailed coverage of the current challenges and enabling technologies along with recommendations and reflections for various stakeholders.

/pdf/digital-twin-values-challenges-and-enablers-from-a-modeling-3hpoelaogn.pdf

Digital Twin: Values, Challenges and Enablers From a Modeling Perspective

The Functional Mockup Interface (FMI) is a tool independent standard for the exchange of dynamic models and for co-simulation. The development of FMI was initiated and organized by Daimler AG within the ITEA2 project MODELISAR. The primary goal is to support the exchange of simulation models between suppliers and OEMs even if a large variety of different tools are used. The FMI was developed in a close collaboration between simulation tool vendors and research institutes. In this article an overview about FMI is given and technical details about the solution are discussed.

https://www.ep.liu.se/ecp/063/013/ecp11063013.pdf

The Functional Mockup Interface for Tool independent Exchange of Simulation Models

The Functional Mockup Interface (FMI) is a tool independent standard for the exchange of dynamic models and for co simulation. The first version, FMI 1.0, was published in 2010. Already more than 30 tools support FMI 1.0. In this paper an overview about the recently published version 2.0 of FMI is given that combines the formerly separated interfaces for Model Exchange and Co-Simulation in one standard. Based on the experience on using FMI 1.0, many small details have been improved and new features ease the usability and increase the performance especially for larger models. Additionally, a free FMI compliance checker will become soon available and FMI models from different tools are made available on the web to simplify testing.

/pdf/functional-mockup-interface-2-0-the-standard-for-tool-4cimolga2r.pdf

Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models

Physical system modeling with Modelica

A Very Efficient Algorithm for the Simulation of Robots and Similar Multibody Systems without Inversion of the Mass Matrix

Modelica is an object-oriented language for modeling of large, complex and heterogeneous physical systems. It is suited for multi-domain modeling, e.g., for modeling of mechatronics including cars, aircraft and industrial robots which typically consist of mechanical, electrical and hydraulic subsystems as well as control systems. General equations are used for modeling of the physical phenomena. No particular variable needs to be solved manually, the Modelica tools have enough information to do that automatically. The language has been designed to allow tools to generate efficient code automatically. The modeling effort is thus reduced considerably since model components can be reused and tedious and error-prone manual manipulations are not needed. The principles of object-oriented modeling and the details of the Modelica language as well as several examples are presented.

/pdf/modelica-a-language-for-physical-system-modeling-3sxu1ukt1d.pdf

Martin Otter

Papers

The Functional Mockup Interface for Tool independent Exchange of Simulation Models

Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models

Physical system modeling with Modelica

A Very Efficient Algorithm for the Simulation of Robots and Similar Multibody Systems without Inversion of the Mass Matrix

Modelica-a language for physical system modeling, visualization and interaction