IC2 - Information, Commande, Communication répond au besoin de disposer d'un ensemble complet des connaissances et méthodes nécessaires à la maîtrise des systèmes technologiques.

Conçu volontairement dans un esprit d'échange disciplinaire, IC2 représente l'état de l'art dans les domaines suivants retenus par le comité scientifique :

• Cognition et traitement de l'information
• Information et sciences du vivant
• Informatique et systèmes d'information
• Management et gestion des STIC
• Réseaux et télécoms
• Signal et Image
• Systèmes automatisés
• Technologies et développement durable

Chaque ouvrage décrit aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents articles contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix.

Les savoirs, théories et méthodes rassemblés dans chaque ouvrage ont été choisis pour leur pertinence dans l'avancée des connaissances ou pour la qualité des résultats obtenus dans le cas d'expérimentations réelles.

• Modéliser et vérifier les systèmes embarqués : pourquoi, comment ?
• Les modèles pour les systèmes temps réel embarqués
• Model checking temporisé
• Contrôle des systèmes temporisés
• Vérification quantitative de chaînes de Markov
• Outils de Model Checking
• Outils pour l'analyse des modèles hybrides