Related content

HYTECH: a model checker for hybrid systems

By Henzinger Thomas A.   Ho Pei-Hsin   Wong-Toi Howard  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 110-122

Springer Publishing Company

Access to resources Recommend Favorite

Robust controller design based on model reference approach

By Duarte-Mermoud Manuel A   Ignacio Chang J.  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 31, Iss. 1, 2002-02 ,pp. : 76-95

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools

By 陈平   王德成  

Software Engineering and Applications, Vol. 3, Iss. 3, 2014-06 ,pp. : 70-77

汉斯出版社

Access to resources Recommend Favorite

Discrete model predictive controller design using Laguerre functions

By Wang L.  

Journal of Process Control, Vol. 14, Iss. 2, 2004-03 ,pp. : 131-142

Elsevier

Access to resources Recommend Favorite

Fuzzy controller design for a class of model reference adaptive systems

By Han Hugang  

International Journal of Computer Applications in Technology, Vol. 27, Iss. 2-3, 2006-10 ,pp. : 183-191

Inderscience Publishers

Access to resources Recommend Favorite