On the design of correct and optimal dynamical systems and games
type: Item
instance of: scholarly article
title: On the design of correct and optimal dynamical systems and games
zbMATH Open document ID: 1205.91034
DOI: 10.1016/S0020-0190(03)00387-9
author: Michel Sintzoff
published in: Information Processing Letters
publication date: 2009-07-09T00:00:00Z
Mathematics Subject Classification ID: 91A25
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5576872
zbMATH Keywords: program derivation
zbMATH Keywords: software design and implementation
zbMATH Keywords: formal methods
zbMATH Keywords: control systems
zbMATH Keywords: hybrid systems
zbMATH Keywords: reactive systems
zbMATH Keywords: dynamical systems
zbMATH Keywords: dynamical games
zbMATH Keywords: synthesis
zbMATH Keywords: variational principles
MaRDI profile type: Publication
cites work: Q3792301
cites work: Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations
cites work: Refinement Calculus
cites work: Q5617548
cites work: Q4096701
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Q5532185
cites work: Q4693065
cites work: Monotonicity and the principle of optimality
cites work: Q4739657
cites work: Q3663910
cites work: Q3727828
cites work: Zermelo and the early history of game theory
cites work: Q4859392
cites work: On the synthesis of strategies in infinite games
cites work: Q5665023
cites work: Existence of neighboring feasible trajectories: applications to dynamic programming for state-constrained optimal control problems
cites work: Q4692840
description: scientific article; zbMATH DE number 5576872