Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...
This paper examines the incorporation of three-dimensional models into hypermedia systems as fully- edged documents. Their use provides hypermedia authors with an additional, powe...
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
— The analysis of the EKF error sequence in [1] is expanded to the case with non-vanishing perturbations. The robust stability of NMPC and EKF pair is established. In addition, w...
Rui Huang, Sachin C. Patwardhan, Lorenz T. Biegler
pc.sagepub.com/cgi/content/abstract/22/2/206 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:International Journal...