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