Overall Objectives
Research Program
Application Domains
New Results
- Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems
- Boolean Networks: Beyond Generalized Asynchronicity
- Most Permissive Semantics of Boolean Networks
- Concurrency in Boolean networks
- On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance
- Compositional synthesis of state-dependent switching control
- An Improved Algorithm for the Co3ntrol Synthesis of Nonlinear Sampled Switched Systems
- Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method
- The Complexity of Diagnosability and Opacity Verification for Petri Nets
- Integrating Simulink Models into the Model Checker Cosmos
- Bounds Computation for Symmetric Nets
- Distributed computation of vector clocks in Petri nets unfolding for test selection
- Hyper Partial Order Logic
- Integrating Simulink Models into the Model Checker Cosmos
- Site-Directed Deletion
- Site-Directed Insertion: Decision Problems, Maximality and Minimality
- A Faithful Binary Circuit Model with Adversarial Noise
- Tight Bounds for Asymptotic and Approximate Consensus
- Pomsets and Unfolding of Reset Petri Nets
- Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance
- Fast Multidimensional Asymptotic and Approximate Consensus
- Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks
- Interval Iteration Algorithm for MDPs and IMDPs
- Diagnosability of Repairable Faults
- Metastability-Containing Circuits
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Results
- Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems
- Boolean Networks: Beyond Generalized Asynchronicity
- Most Permissive Semantics of Boolean Networks
- Concurrency in Boolean networks
- On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance
- Compositional synthesis of state-dependent switching control
- An Improved Algorithm for the Co3ntrol Synthesis of Nonlinear Sampled Switched Systems
- Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method
- The Complexity of Diagnosability and Opacity Verification for Petri Nets
- Integrating Simulink Models into the Model Checker Cosmos
- Bounds Computation for Symmetric Nets
- Distributed computation of vector clocks in Petri nets unfolding for test selection
- Hyper Partial Order Logic
- Integrating Simulink Models into the Model Checker Cosmos
- Site-Directed Deletion
- Site-Directed Insertion: Decision Problems, Maximality and Minimality
- A Faithful Binary Circuit Model with Adversarial Noise
- Tight Bounds for Asymptotic and Approximate Consensus
- Pomsets and Unfolding of Reset Petri Nets
- Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance
- Fast Multidimensional Asymptotic and Approximate Consensus
- Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks
- Interval Iteration Algorithm for MDPs and IMDPs
- Diagnosability of Repairable Faults
- Metastability-Containing Circuits
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Previous | 
Home