Title of article
On the design of correct and optimal dynamical systems and games
Author/Authors
Michel Sintzoff، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2003
Pages
7
From page
59
To page
65
Keywords
Program derivation , Software design and implementation , Hybrid systems , control systems , Reactive systems , dynamical systems , Dynamical games , synthesis , Variational principles , formal methods
Journal title
Information Processing Letters
Serial Year
2003
Journal title
Information Processing Letters
Record number
129788
Link To Document