41 citations · 91 across the 7 of their papers we have counts for
7 papers
Structural Methods for handling mode changes in multimode DAE systems
Albert Benveniste, Benoit Caillaud, Yahao Chen +2
Hybrid systems are an important concept in Cyber-Physical Systems modeling, for which multiphysics modeling from first principles and the reuse of models from libraries are key. To…
On Covering Euclidean Space with Q-arrangements of Cones
Khalil Ghorbal, Christelle Kozaily
This paper is concerned with a covering problem of Euclidean space by a particular arrangement of cones that are not necessarily full and are allowed to overlap. The problem provid…
Characterizing Positively Invariant Sets: Inductive and Topological Methods
Khalil Ghorbal, Andrew Sogokon
We present two characterizations of positive invariance of sets under the flow of systems of ordinary differential equations. The first characterization uses inward sets which intu…
Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams
Joan Thibault, Khalil Ghorbal
We introduce a novel framework, termed DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing v…
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Benjamin Martin, Khalil Ghorbal, Eric Goubault +1
We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its s…
Distributed Inertial Best-Response Dynamics
Brian Swenson, Ceyhun Eksin, Soummya Kar +1
The note considers the problem of computing pure Nash equilibrium (NE) strategies in distributed (i.e., network-based) settings. The paper studies a class of inertial best response…
A Logical Product Approach to Zonotope Intersection
Khalil Ghorbal, Eric Goubault, Sylvie Putot
We define and study a new abstract domain which is a fine-grained combination of zonotopes with polyhedric domains such as the interval, octagon, linear templates or polyhedron dom…