Search Results for author:
Found 4 papers, 0 papers with code
Symbolic Models for Interconnected Impulsive Systems
Our approach relies on the concept of "alternating simulation function" to establish a relationship between concrete subsystems and their symbolic models.
Optimally Controlling the Timing of Energy Transfer in Elastic Joints: Experimental Validation of the Bi-Stiffness Actuation Concept
Furthermore, we demonstrate that providing full control authority over the energy transfer timing and link decoupling allows the user to synchronously release both elastic joint and gravitational energy.
Compositional Abstractions of Interconnected Discrete-Time Switched Systems
Particularly, we use a notion of so-called alternating simulation function as a relation between each switched subsystem and its finite abstraction.
Compositional Verification of Initial-State Opacity for Switched Systems
In this work, we propose a compositional framework for the verification of approximate initial-state opacity for networks of discrete-time switched systems.
