211 citations
- Université Grenoble AlpesFR49 papers
- Centre National de la Recherche ScientifiqueFR44 papers
- Institut polytechnique de GrenobleFR12 papers
- Université Joseph FourierFR7 papers
- FortissDE4 papers
- Institut des langues et cultures d'Europe, Amérique, Afrique, Asie et AustralieFR4 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Aalto UniversityFI3 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR3 papers
- École Polytechnique Fédérale de LausanneCH3 papers
- Laboratoire d'Informatique de GrenobleFR3 papers
- LIP6FR3 papers
6 papers · 1 filter
Safe and efficient collision avoidance control for autonomous vehicles
Qiang Wang, Dachuan Li, Joseph Sifakis
We study a novel principle for safe and efficient collision avoidance that adopts a mathematically elegant and general framework abstracting as much as possible from the controlled…
System Design in the Era of IoT --- Meeting the Autonomy Challenge
Joseph Sifakis
The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it req…
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +3
Approximating the set of reachable states of a dynamical system is an algorithmic yet mathematically rigorous way to reason about its safety. Although progress has been made in the…
Occupation measure methods for modelling and analysis of biological hybrid automata
Alexandre Rocca, Marcelo Forets, Victor Magron +2
Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters usin…
Algorithmic Verification of Continuous and Hybrid Systems
Oded Maler
We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For o…
Distributed Priority Synthesis
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem +1
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…