3 citations · 3 across the 3 of their papers we have counts for
6 papers
Symmetry Abstractions for Hybrid Systems and their Applications
Hussein Sibai, Sayan Mitra
A symmetry of a dynamical system is a map that transforms one trajectory to another trajectory. We introduce a new type of abstraction for hybrid automata based on symmetries. The…
Multi-Agent Safety Verification using Symmetry Transformations
Hussein Sibai, Navid Mokhlesi, Chuchu Fan +1
We show that symmetry transformations and caching can enable scalable, and possibly unbounded, verification of multi-agent systems. Symmetry transformations map solutions and to ot…
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh +6
Programming languages, libraries, and development tools have transformed the application development processes for mobile computing and machine learning. This paper introduces the…
Online monitoring for safe pedestrian-vehicle interactions
Peter Du, Zhe Huang, Tianqi Liu +5
As autonomous systems begin to operate amongst humans, methods for safe interaction must be investigated. We consider an example of a small autonomous vehicle in a pedestrian zone…
Porting Code Across Simple Mobile Robots
Yixiao Lin, Sayan Mitra, Shuting Li
The StarL programming framework aims to simplify development of distributed robotic applications by providing easy-to-use language constructs for communication and control. It has…
StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems
Yixiao Lin, Sayan Mitra
We developed StarL as a framework for programming, simulating, and verifying distributed systems that interacts with physical processes. StarL framework has (a) a collection of dis…