On Weighted Time-Optimal Control for Linear Hybrid Automata Using Quantifier Elimination

IFAC Proceedings Volumes
doi 10.1016/s1474-6670(17)30736-x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Quantifier Elimination for Neocompact Sets

Journal of Symbolic Logic
PhilosophyLogic
1998English

Quantifier Elimination for the Relative Frobenius

2003English

On Linear-Quadratic Optimal Control Problems for Time-Varying Descriptor Systems

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2004English

Transfer Function Synthesis Without Quantifier Elimination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Optimal Preview Control for Linear Discrete-Time Periodic Systems

Mathematical Problems in Engineering
MathematicsEngineering
2019English

Biped Robot Modeling and Control Using Controlled Hybrid Automata

International Journal of Systems Science and Applied Mathematics
2017English

Software for Quantifier Elimination in Propositional Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Low-Sensitivity Optimal Feedback Control for Linear Discrete-Time Systems

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
1979English

Quantifier Elimination in Automatic Loop Parallelization

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy