Recherche
Laboratoires.Ecoles, Collège et Formation doctorales
Stratégie. Séminaires, colloques. Sciences et société
Réseaux et pôles d'excellence. Investissements d'avenir (Labex)
Summer School on CPS 2014
7 juillet 2014 ... 10 juillet 2014
Université Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the Cyber-Physical Systems 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 four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems.
Martin Leucker / Persyval-Lab
In this lecture, we give an overview of techniques for learning automata. Starting with Biermann’s and Angluin’s algorithms, we describe some of the extensions suitable for specialized or richer classes of automata and discuss implementational issues. Furthermore, we survey their recent application to verification problems.
Mots clés : persyval-lab
Informations
- Gricad Vidéos
- 1 janvier 2021 00:00
- Conférences
- Français
