Model Checking Properties on Reduced Trace Systems

Author： Santone Antonella   Vaglini Gigliola  

Publisher： MDPI

E-ISSN： 1999-4893|7|3|339-362

ISSN： 1999-4893

Source： Algorithms, Vol.7, Iss.3, 2014-07, pp. : 339-362

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Reduced Model for Salt-Finger Convection in the Small Diffusivity Ratio Limit

By Xie Jin-Han   Miquel Benjamin   Julien Keith   Knobloch Edgar  

Fluids, Vol. 2, Iss. 1, 2017-01 ,pp. : 6-6

MDPI

Access to resources Recommend Favorite

Model Equivalence-Based Identification Algorithm for Equation-Error Systems with Colored Noise

By Meng Dandan   Ding Feng  

Algorithms, Vol. 8, Iss. 2, 2015-06 ,pp. : 280-291

MDPI

Access to resources Recommend Favorite

Sufficiency of Local Feedback for Sensor-Actuator Network-Based Control Systems with Distance Sensitivity Properties

By Kulathumani Vinod   Lemon Bryan  

Journal of Sensor and Actuator Networks, Vol. 2, Iss. 3, 2013-07 ,pp. : 409-423

MDPI

Access to resources Recommend Favorite

A Simple Stochastic Parameterization for Reduced Models of Multiscale Dynamics

By Abramov Rafail  

Fluids, Vol. 1, Iss. 1, 2015-12 ,pp. : 2-2

MDPI

Access to resources Recommend Favorite

Anisotropic Wave Turbulence for Reduced Hydrodynamics with Rotationally Constrained Slow Inertial Waves

By Sen Amrik  

Fluids, Vol. 2, Iss. 2, 2017-05 ,pp. : 28-28

MDPI

Access to resources Recommend Favorite