Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios

  title={Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios},
  author={Cl{\'a}udio Gomes and P. Karalis and E. Navarro-L{\'o}pez and H. Vangheluwe},
  booktitle={SEFM Workshops},
Co-simulation is a technique to orchestrate multiple simulators in order to approximate the behavior of a coupled system as a whole. Simulators execute in a lockstep fashion, each exchanging inputs and output data points with the other simulators at pre-accorded times. 
Towards the Verification of Hybrid Co-simulation Algorithms
Modelling and simulation techniques have traditionally been used to tackle complexity, but with increasing heterogeneity of the subsystems, it becomes impossible to find appropriate modelling languages and tools to specify and analyse the system as a whole. Expand
Stable Adaptive Co-simulation: A Switched Systems Approach
This paper applies the joint spectral radius theory to certify that an adaptive co-simulation scheme is stable, and, if that is not possible, uses recent results in this field to create a trace of decisions that lead to instability. Expand
Performance Improvement of Explicit Co-simulation Methods Through Continuous Extrapolation
This paper considers continuous approximation techniques of \(C^0\), \(C1\) and \(C2\) type which are capable to overcome the discontinuity issues and proposes a here-presented enhancement the order drop of the \(C0\)-continuous method can be avoided. Expand
Semantics of Co-simulation Algorithms with Simulator Contracts
A way to account for simulator capabilities is explored, by formalizing the execution of a co-simulation that respects such contracts, specific to two kinds of contracts, but could serve as a basis to a general approach to black box co-Simulation. Expand
Co-simulation: The Past, Future, and Open Challenges
In the engineering of heterogeneous systems, there have always been challenges related to ensuring a common understanding of the interfaces between the constituent systems.
The need for finding generic approaches for modular, stable, and accurate coupling of simulation units, as well as expressing the adaptations required to ensure that the coupling is correct, is identified. Expand
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
This work aims at demonstrating the benefits of integrating co-simulation and formal verification in the standard design flow of a brushless power drive system for precision robotic applications. AExpand
Stability of Planar Switched Systems under Delayed Event Detection
It is shown that the instability of the equilibrium point for the equivalent hybrid automaton with delay in the transitions is equivalent to the existence of a closed orbit in the hybrid state space, a result that is inspired by the Joint Spectral Radius theorem. Expand
Semantic adaptation for FMI co-simulation with hierarchical simulators
This work explores how to describe common adaptations and what their meaning is in the context of FMI co-simulation, and describes adaptations for groups of interconnected subsystem simulators in the same way as for a single simulator. Expand
An Empirical Survey on Co-simulation: Promising Standards, Challenges and Research Needs
The empirical results of this study show that experts consider the FMI standard to be the most promising standard for continuous time, discrete event and hybrid co-simulation and that factors related to strengths and opportunities predominate. Expand


Hybrid systems modelling and simulation in DESTECS: A co-simulation approach
This paper introduces the modelling methodology and tooling in DESTECS ( - Design Support and Tooling for Embedded Control Software - project as a novel modelling approach for hybridExpand
Can complex systems really be simulated?
The goal is to understand the stability properties of the simulated and co-simulated representation of the continuous system by expressing the trace and determinant of the discretized system in terms of the Trace and determinants of theContinuous system to establish stability criteria. Expand
Step revision in hybrid Co-simulation with FMI
This paper presents a master algorithm for co-simulation of hybrid systems using the Functional Mock-up Interface (FMI) standard. Our algorithm introduces step revision to achieve an accurate andExpand
Stability of Sequential Modular Time Integration Methods for Coupled Multibody System Models
The interacting components of complex technical systems are often described by coupled systems of differential equations. In dynamical simulation, these coupled differential equations have to beExpand
Feedback Stability for Dissipative Switched Systems
A method is proposed to infer Lyapunov and asymptotic stability properties for switching systems, under arbitrary continuous-state feedback, that are more straightforward to check, when compared to those proposed by other approaches in the literature. Expand
Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation
A number of problems that are encountered in event detection and location when using existing techniques are presented and solution strategies that balance efficiency and robustness are presented to address. Expand
Continuous System Simulation
This book provides an introduction to modern methods for computer simulation of systems involving continuous variables, placing particular emphasis on the use of widely available simulation languages and other appropriate software tools. Expand
A multiple Lyapunov functions approach for stability of switched systems
  • Jin Lu, L. Brown
  • Mathematics
  • Proceedings of the 2010 American Control Conference
  • 2010
In this paper, a multiple Lyapunov functions based approach is presented for the stability analysis for switched systems. Compared with existing Multiple Lyapunov functions approaches in theExpand
Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
  • M. Branicky
  • Computer Science, Mathematics
  • IEEE Trans. Autom. Control.
  • 1998
Bendixson's theorem is extended to the case of Lipschitz continuous vector fields, allowing limit cycle analysis of a class of "continuous switched" systems. Expand
Group and Total Dissipativity and Stability of Multi-Equilibria Hybrid Automata
The objective is to identify dissipative components as groups of discrete locations within the hybrid automaton, formed according to existing equilibria, and a classification ofEquilibria for hybrid automata is proposed. Expand