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
