Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
See the 'New results' section.
Overall Objectives
Research Program
Application Domains
New Results
- Optimal constructions for active diagnosis
- Diagnosability of Repairable Faults
- Diagnostic et contrôle de la dégradation des systèmes probabilistes
- The Complexity of Diagnosability and Opacity Verification for Petri Nets
- Probabilistic Disclosure: Maximisation vs. Minimisation
- D-SPACES: Implementing Declarative Semantics for Spatially Structured Information
- Unbounded product-form Petri nets
- Statistical Model-Checking for Autonomous Vehicle Safety Validation
- Une sémantique formelle pour les modèles Simulink
- The Logical View on Continuous Petri Nets
- Memoryless Determinacy of Finite Parity Games: Another Simple Proof
- Interval iteration algorithm for MDPs and IMDPs
- Alignment-Based Trace Clustering
- Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality
- Temporal Reprogramming of Boolean Networks
- Goal-Driven Unfolding of Petri Nets
- Euler's Method Applied to the Control of Switched Systems
- An Improved Algorithm for the Control Synthesis of Nonlinear Sampled Switched Systems
- Distributed Control Synthesis Using Euler's Method
- Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
- Metastability-Aware Memory-Efficient Time-to-Digital Converter
- Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
- Metastability Tolerant Computing
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Results
- Optimal constructions for active diagnosis
- Diagnosability of Repairable Faults
- Diagnostic et contrôle de la dégradation des systèmes probabilistes
- The Complexity of Diagnosability and Opacity Verification for Petri Nets
- Probabilistic Disclosure: Maximisation vs. Minimisation
- D-SPACES: Implementing Declarative Semantics for Spatially Structured Information
- Unbounded product-form Petri nets
- Statistical Model-Checking for Autonomous Vehicle Safety Validation
- Une sémantique formelle pour les modèles Simulink
- The Logical View on Continuous Petri Nets
- Memoryless Determinacy of Finite Parity Games: Another Simple Proof
- Interval iteration algorithm for MDPs and IMDPs
- Alignment-Based Trace Clustering
- Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality
- Temporal Reprogramming of Boolean Networks
- Goal-Driven Unfolding of Petri Nets
- Euler's Method Applied to the Control of Switched Systems
- An Improved Algorithm for the Control Synthesis of Nonlinear Sampled Switched Systems
- Distributed Control Synthesis Using Euler's Method
- Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
- Metastability-Aware Memory-Efficient Time-to-Digital Converter
- Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
- Metastability Tolerant Computing
Partnerships and Cooperations
Bibliography