Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael P. Spathopoulos
On Weighted Time-Optimal Control for Linear Hybrid Automata Using Quantifier Elimination
IFAC Proceedings Volumes
Related publications
Quantifier Elimination for Neocompact Sets
Journal of Symbolic Logic
Philosophy
Logic
Quantifier Elimination for the Relative Frobenius
On Linear-Quadratic Optimal Control Problems for Time-Varying Descriptor Systems
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Transfer Function Synthesis Without Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimal Preview Control for Linear Discrete-Time Periodic Systems
Mathematical Problems in Engineering
Mathematics
Engineering
Biped Robot Modeling and Control Using Controlled Hybrid Automata
International Journal of Systems Science and Applied Mathematics
Software for Quantifier Elimination in Propositional Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Low-Sensitivity Optimal Feedback Control for Linear Discrete-Time Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Quantifier Elimination in Automatic Loop Parallelization
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
