Using Simulation for the Validation of High Level Specifications of Control Systems

Author： Jumpamule Watcharee   Paillet Jean-Luc   Giambiasi Norbert  

Publisher： Springer Publishing Company

ISSN： 0921-0296

Source： Journal of Intelligent and Robotic Systems, Vol.38, Iss.3-4, 2003-12, pp. : 345-375

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

Modal Specifications for the Control Theory of Discrete Event Systems

By Feuillade Guillaume   Pinchinat Sophie  

Discrete Event Dynamic Systems, Vol. 17, Iss. 2, 2007-06 ,pp. : 211-232

Springer Publishing Company

Access to resources Recommend Favorite

Comparing high level architecture data distribution management specifications 1.3 and 1516

By Petty M.D.  

Simulation Practice and Theory, Vol. 9, Iss. 3, 2002-04 ,pp. : 95-119

Elsevier

Access to resources Recommend Favorite

Statistical validation of simulation models of observable systems

By Vasermanis Edgars K   Nechval Konstantin N   Nechval Nicholas A  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 32, Iss. 5-6, 2003-06 ,pp. : 858-869

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

By Koelbl Alfred   Pixley Carl  

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 645-666

Springer Publishing Company

Access to resources Recommend Favorite

Parallel high-level replacement systems

By Taentzer G.  

Theoretical Computer Science, Vol. 186, Iss. 1, 1997-10 ,pp. : 43-81

Elsevier

Access to resources Recommend Favorite