Efficient and Generalized Decentralized Monitoring of Regular Languages

The paper Efficient and Generalized Decentralized Monitoring of Regular Languages has been accepted to FORTE’14, the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 3-6, 2014, Berlin, Germany. Below is the abstract of the paper. This paper proposes an efficient and generalized decentralized monitoring algorithm allowing to detect satisfaction or violation of […]

Read More

Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014

PERSYVAL-Lab and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems (« the internet of things ») and humans as their creators, users, and subjects. The format of the Summer School is a five days meeting, organized around different aspects of rigorous engineering […]

Read More