Closed-loop verification of medical devices with model abstraction and refinement

Author： Jiang Zhihao   Pajic Miroslav   Alur Rajeev   Mangharam Rahul  

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.16, Iss.2, 2014-04, pp. : 191-213

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

Related content

MIMO CCS model identification based on GA for closed-loop field data

By Li Pingkang   Jin Taotao   Du Xiuxia  

International Journal of Modelling, Identification and Control, Vol. 13, Iss. 1-2, 2011-05 ,pp. : 30-37

Inderscience Publishers

Access to resources Recommend Favorite

System architecture for closed-loop PLM

By Jun H. -B.   Shin J. -H.   Kiritsis D.   Xirouchakis P.  

International Journal of Computer Integrated Manufacturing, Vol. 20, Iss. 7, 2007-10 ,pp. : 684-698

Taylor & Francis Ltd

Access to resources Recommend Favorite

Closed-loop fault diagnosis based on a nonlinear process model and automatic fuzzy rule generation

By Balle P.   Fuessel D.  

Engineering Applications of Artificial Intelligence, Vol. 13, Iss. 6, 2000-12 ,pp. : 695-704

Elsevier

Access to resources Recommend Favorite

Closed-loop step identification of low-order continuous-time process model with time delay for enhanced controller autotuning

By Liu Tao  

International Journal of Systems, Control and Communications, Vol. 4, Iss. 4, 2012-12 ,pp. : 225-249

Inderscience Publishers

Access to resources Recommend Favorite

Refinement and state machine abstraction

By Lermer K.   Strooper P.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 195-235

Elsevier

Access to resources Recommend Favorite