UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Controller synthesis using qualitative models and constraints (2004)
Subramanian Ramamoorthy
,
Benjamin Kuipers
Many engineering systems require the synthesis of global behaviors in nonlinear dynamical systems. Multiple model approaches to control design make it possible to synthesize robust and optimal versions of such global behaviors. We propose a methodology called Qualitative Heterogeneous Control that enables this type of control design. This methodology is based on a separation of concerns between qualitative correctness and quantitative optimization. Qualitative sufficient conditions are derived, that define a space of quantitative control strategies. These sufficient conditions are used in conjunction with a numerical optimization procedure to synthesize nonlinear optimal controllers that are robust in practical implementations. We demonstrate this process of controller synthesis for the global control of an inverted pendulum system.
View:
PDF
,
HTML
Citation:
In
Proceedings of the 18th International Workshop on Qualitative Reasoning
, J. de Kleer and K. Forbus (Eds.), pp. 41--50 2004.
Bibtex:
@inproceedings{ramamoorthy:qr2004, title={Controller synthesis using qualitative models and constraints}, author={Subramanian Ramamoorthy and Benjamin Kuipers}, booktitle={Proceedings of the 18th International Workshop on Qualitative Reasoning}, editor={J. de Kleer and K. Forbus}, pages={41--50}, url="http://www.cs.utexas.edu/users/ai-lab?ramamoorthy:qr2004", year={2004} }
People
Benjamin Kuipers
Formerly affiliated Faculty
kuipers [at] cs utexas edu
Subramanian Ramamoorthy
Ph.D. Alumni
s ramamoorthy [at] mail utexas edu
Areas of Interest
Control