MEXICO - 2018 - Annual activity report

MEXICO

MEXICO - 2018

Project-Team Mexico

Team, Visitors, External Collaborators

Overall Objectives

Scientific Objectives

Research Program

Concurrency
Management of Quantitative Behavior

Application Domains

Telecommunications
Biological Systems
Autonomous Vehicles

Highlights of the Year

New Software and Platforms

COSMOS
CosyVerif
Mole

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

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: New Results

Integrating Simulink Models into the Model Checker Cosmos [15]

We present an implementation for Simulink model executions in the statistical model-checker Cosmos. We take profit of this implementation for hybrid modeling and simulations combining Petri nets and Simulink models.

Previous |

Home | Next next