Towards the Automation of Model‐Based Design Verification

E-ISSN： 2334-5837|26|1|585-599

ISSN： 2334-5837

Source： INCOSE International Symposium, Vol.26, Iss.1, 2016-07, pp. : 585-599

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

On the design of robust internal model-based controllers

By Murad Ghassan Gu Da-Wei Postlethwaite Ian

International Journal of Control, Vol. 68, Iss. 3, 1997-10 ,pp. : 513-538

Taylor & Francis Ltd

Access to resources Recommend Favorite

Towards a Holistic Definition of Model‐Based System Engineering: Paradigm, Modeling and Requirements

INCOSE International Symposium, Vol. 25, Iss. s1, 2015-10 ,pp. : 1232-1244

John Wiley & Sons Inc

Access to resources Recommend Favorite

Towards a Holistic Definition of Model‐Based System Engineering: Paradigm, Modeling and Requirements

INCOSE International Symposium, Vol. 25, Iss. 1, 2015-10 ,pp. : 1232-1244

John Wiley & Sons Inc

Access to resources Recommend Favorite

Collaborative Model‐based Systems Engineering for Cyber‐Physical Systems, with a Building Automation Case Study

INCOSE International Symposium, Vol. 26, Iss. 1, 2016-07 ,pp. : 817-832

John Wiley & Sons Inc

Access to resources Recommend Favorite

Internal model-based controller design using measured costs and gradients

By Lynch Alan F. Salcudean Septimiu E.

International Journal of Control, Vol. 69, Iss. 2, 1998-01 ,pp. : 257-270

Taylor & Francis Ltd

Access to resources Recommend Favorite