Modelling of a hybrid system through differential predicate transition Petri nets model and proof tree

ISSN： 0002-2667

Source： Aircraft Engineering, Vol.79, Iss.3, 2007-05, pp. : 261-267

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

Gravitational modelling of the proof mass for ASTROD mission

By Xu X. Ni W.-T.

Advances in Space Research, Vol. 32, Iss. 7, 2003-10 ,pp. : 1443-1446

Elsevier

Access to resources Recommend Favorite

An Advance Proof

Aircraft Engineering, Vol. 19, Iss. 11, 1993-12 ,pp. : 339-339

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A Piloted Simulation of a Model Following Control System

By Bouwer Gerhard Hilbert Kathryn B.

Journal of the American Helicopter Society, Vol. 31, Iss. 2, 1986-04 ,pp. : 27-32

AHS International

Access to resources Recommend Favorite

HELIX: A Causal Model-Based Diagnostic Expert System

By Simmons Dan W. Hamilton Thomas P. Carlson Raymond G.

Journal of the American Helicopter Society, Vol. 32, Iss. 1, 1987-01 ,pp. : 19-25

AHS International

Access to resources Recommend Favorite

Design-to-Cost Applied Within an Integrated System Model

By Vollerthun A.

Journal of Reducing Space Mission Cost, Vol. 1, Iss. 3, 1998-01 ,pp. : 225-242

Springer Publishing Company

Access to resources Recommend Favorite