On the design of correct and optimal dynamical systems and games

DOI10.1016/S0020-0190(03)00387-9zbMath1205.91034MaRDI QIDQ1028979

Michel Sintzoff

Publication date: 9 July 2009

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

synthesisvariational principlesdynamical systemshybrid systemscontrol systemsformal methodsreactive systemssoftware design and implementationprogram derivationdynamical games

Mathematics Subject Classification ID

Dynamic games (91A25) Theory of software (68N99)

Cites Work

• Monotonicity and the principle of optimality
• Automata, logics, and infinite games. A guide to current research
• Existence of neighboring feasible trajectories: applications to dynamic programming for state-constrained optimal control problems
• Refinement Calculus
• On the synthesis of strategies in infinite games
• Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations
• Zermelo and the early history of game theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item