DocumentCode :
2130280
Title :
On under-determined dynamical systems
Author :
Maler, Oded
Author_Institution :
VERIMAG, Univ. of Grenoble, Grenoble, France
fYear :
2011
fDate :
9-14 Oct. 2011
Firstpage :
89
Lastpage :
96
Abstract :
Under-determined dynamical systems are those that need additional information in order to produce simulation traces. This information may correspond to initial conditions, parameter values or dynamic external influences. The paper discusses this issue and surveys some common approaches to reconcile this fact with the practice of simulation.
Keywords :
digital simulation; quasimathematical model; simulation traces; under-determined dynamical system; Biological system modeling; Computational modeling; Equations; Heuristic algorithms; Mathematical model; Numerical models; Trajectory; Hybrid systems; Simulation; Timed systems; Verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on
Conference_Location :
Taipei
Print_ISBN :
978-1-4503-0714-7
Type :
conf
Filename :
6064515
Link To Document :
بازگشت