×

zbMATH — the first resource for mathematics

Logic-based solution methods for optimal control of hybrid systems. (English) Zbl 1366.49034
Editorial remark: No review copy delivered.

MSC:
49M30 Other numerical methods in calculus of variations (MSC2010)
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
93C65 Discrete event control/observation systems
PDF BibTeX XML Cite
Full Text: DOI