Programmed constructions for control synthesis problems
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4170755
- scientific article; zbMATH DE number 3293350
- Programmed constructions in control problems with vector criterion
- scientific article; zbMATH DE number 4093283
- Control of the dynamics of systems with program constraints
- Formalization of synthesis problems for the control algorithms of a computer subsystem
- scientific article; zbMATH DE number 3242575
- scientific article; zbMATH DE number 1900043
- Formal controller synthesis from hybrid programs
Cited in
(4)- Integrating discrete controller synthesis into a reactive programming language compiler
- scientific article; zbMATH DE number 3293350 (Why is no real title available?)
- scientific article; zbMATH DE number 3950300 (Why is no real title available?)
- Control structures in programs and computational complexity
This page was built for publication: Programmed constructions for control synthesis problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684963)