25 citations · 115 across the 59 of their papers we have counts for
5 papers · 1 filter
An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators
Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan +3
Spatio-Temporal Logic with Graph Operators (STL-GO) extends Signal Temporal Logic (STL) to multi-agent systems via graph operators that count neighboring agents satisfying a proper…
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
Yiqi Zhao, Xinyi Yu, Bardh Hoxha +3
Multi-agent systems (MASs) consisting of a number of autonomous agents that communicate, coordinate, and jointly sense the environment to achieve complex missions can be found in a…
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Anand Balakrishnan, Sheryl Paul, Simone Silvetti +2
Modern cyber-physical systems (CPS) can consist of various networked components and agents interacting and communicating with each other. In the context of spatially distributed CP…
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh +1
Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-va…
Forward Invariant Cuts to Simplify Proofs of Safety
Nikos Arechiga, James Kapinski, Jyotirmoy Deshmukh +2
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid sys- tems; however, state-of-the-art theorem provers require ex- t…