Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
CITY IN ABSTRACT ELEMENTARY CLASSES WITH NO MAXIMAL MODELS MONICA VANDIEREN Abstract. The results in this paper are in a context of abstract elementary classes identified by Shelah...
A similarity analysis of a nonlinear fin equation has been carried out by M. Pakdemirli and A.Z. Sahin [Similarity analysis of a nonlinear fin equation, Appl. Math. Lett. (2005) (...
Ashfaque H. Bokhari, Abdul Hamid Kara, F. D. Zaman
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...