303 citations · 1.4k across the 20 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2013★ 3 cited
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
Marta Capiluppi, Roberto Segala
We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects…
cs.FL2012★ 3 cited
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata
Marta Capiluppi, Roberto Segala
We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects…
cs.FL2011★ 3 cited
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
Davide Bresolin, Marta Capiluppi
Physical systems can fail. For this reason the problem of identifying and reacting to faults has received a large attention in the control and computer science communities. In this…