{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/122698"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/122698","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Semidefinite programming approaches to multi-contact feedback control","abstract":"We consider the feedback design for stabilizing a rigid body system by making and breaking multiple contacts with the environment without prespecifying the timing or the number of occurrence of the contacts. We examine several different models of such systems and the roles of semidefinite programming and sums-of-squares programming in designing and verifying stabilizing controllers. First the system is modelled as a discrete-time piecewise affine system and we use semidefinite programming to design stabilizing controllers according to Lyapunov theory. Second the system is modelled as a discrete-time piecewise polynomial system and we use sums-of-squares programming to design feedback controllers. Third the system is modelled as a discrete-time polynomial system with linear complimentarity constraints for contacts and we use sums-of-squares to verify the controllers according to Lyapunov theory.","abstract_html":"We consider the feedback design for stabilizing a rigid body system by making and breaking multiple contacts with the environment without prespecifying the timing or the number of occurrence of the contacts. We examine several different models of such systems and the roles of semidefinite programming and sums-of-squares programming in designing and verifying stabilizing controllers. First the system is modelled as a discrete-time piecewise affine system and we use semidefinite programming to design stabilizing controllers according to Lyapunov theory. Second the system is modelled as a discrete-time piecewise polynomial system and we use sums-of-squares programming to design feedback controllers. Third the system is modelled as a discrete-time polynomial system with linear complimentarity constraints for contacts and we use sums-of-squares to verify the controllers according to Lyapunov theory.","abstract_has_math":false,"creators":["Han, Weiqiao."],"institution":"Massachusetts Institute of Technology","degree_name":"Master","degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science","school":null,"contributors":[],"advisors":["Russell L. Tedrake."],"committee_chairs":[],"committee_members":[],"year":2019,"date_issued":"2019","date_published":"2019","updated_at":"2026-07-22T22:22:11Z","subjects":["Electrical Engineering and Computer Science."],"languages":["eng"],"rights":["MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1721.1/122698","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Russell L. Tedrake."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science","EECS"]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."]},{"key":"dc:creator","label":"Author","values":["Han, Weiqiao."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2019-11-04T19:53:53Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2019-11-04T19:53:53Z"]},{"key":"dc:date.issued","label":"Date","values":["2019"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Electrical Engineering and Computer Science."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1721.1/122698"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.","Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019","Cataloged from student-submitted PDF version of thesis.","Includes bibliographical references (pages 71-77)."]},{"key":"dc:description.abstract","label":"Abstract","values":["We consider the feedback design for stabilizing a rigid body system by making and breaking multiple contacts with the environment without prespecifying the timing or the number of occurrence of the contacts. We examine several different models of such systems and the roles of semidefinite programming and sums-of-squares programming in designing and verifying stabilizing controllers. First the system is modelled as a discrete-time piecewise affine system and we use semidefinite programming to design stabilizing controllers according to Lyapunov theory. Second the system is modelled as a discrete-time piecewise polynomial system and we use sums-of-squares programming to design feedback controllers. Third the system is modelled as a discrete-time polynomial system with linear complimentarity constraints for contacts and we use sums-of-squares to verify the controllers according to Lyapunov theory."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["S.M."]},{"key":"dc:title","label":"Title","values":["Semidefinite programming approaches to multi-contact feedback control"]}]}],"canonical_facts":{"dc:contributor.advisor":["Russell L. Tedrake."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science","EECS"],"dc:contributor.other":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."],"dc:creator":["Han, Weiqiao."],"dc:date.accessioned":["2019-11-04T19:53:53Z"],"dc:date.available":["2019-11-04T19:53:53Z"],"dc:date.issued":["2019"],"dc:description":["This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.","Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019","Cataloged from student-submitted PDF version of thesis.","Includes bibliographical references (pages 71-77)."],"dc:description.abstract":["We consider the feedback design for stabilizing a rigid body system by making and breaking multiple contacts with the environment without prespecifying the timing or the number of occurrence of the contacts. We examine several different models of such systems and the roles of semidefinite programming and sums-of-squares programming in designing and verifying stabilizing controllers. First the system is modelled as a discrete-time piecewise affine system and we use semidefinite programming to design stabilizing controllers according to Lyapunov theory. Second the system is modelled as a discrete-time piecewise polynomial system and we use sums-of-squares programming to design feedback controllers. Third the system is modelled as a discrete-time polynomial system with linear complimentarity constraints for contacts and we use sums-of-squares to verify the controllers according to Lyapunov theory."],"dc:description.degree":["S.M."],"dc:identifier.uri":["https://hdl.handle.net/1721.1/122698"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Electrical Engineering and Computer Science."],"dc:title":["Semidefinite programming approaches to multi-contact feedback control"],"dc:type":["Thesis"],"thesis:degree_name":["Master"]},"updated_at":"2026-07-22T22:22:11Z"}