A logic-based hybrid solver for optimal control of hybrid systems

Combinatorial optimization over continuous and integer variables was proposed recently as an useful tool for solving complex optimal control problems for linear hybrid dynamical systems formulated in discrete-time. Current approaches are based on mixed-integer linear/quadratic programming (MIP), whi...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Ročník 1; s. 640 - 645 Vol.1
Hlavní autori: Bemporad, A., Giorgetti, N.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 2003
Predmet:
Automata
Control systems
Digital control
Ear
Embedded system
Industrial control
Logic
Optimal control
Quadratic programming
Switches
ISBN:9780780379244, 0780379241
ISSN:0191-2216
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract Combinatorial optimization over continuous and integer variables was proposed recently as an useful tool for solving complex optimal control problems for linear hybrid dynamical systems formulated in discrete-time. Current approaches are based on mixed-integer linear/quadratic programming (MIP), which provides the solution after solving a sequence of relaxed standard linear (or quadratic) programs (LP, QP). An MIP formulation has the drawback of requiring that the discrete/logic part of the hybrid problem needs to be converted to into mixed-integer inequalities. Although this operation can be done automatically, most of the original discrete structure of the problem is lost during the conversion. Moreover, the efficiency of the MIP solver only relies upon the tightness of the continuous LP/QP relaxations. In this paper we attempt at overcoming such difficulties by combining MIP and constraint programming (CP) techniques into a "hybrid" solver, taking advantage of CP for dealing efficiently with satisfiability of logic constraints. We detail how to model the hybrid dynamics so that the optimal control problem can be solved by the hybrid MIP+CP solver, and show on a case study that the achieved performance is superior to the one achieved by pure MIP solvers.
AbstractList Combinatorial optimization over continuous and integer variables was proposed recently as an useful tool for solving complex optimal control problems for linear hybrid dynamical systems formulated in discrete-time. Current approaches are based on mixed-integer linear/quadratic programming (MIP), which provides the solution after solving a sequence of relaxed standard linear (or quadratic) programs (LP, QP). An MIP formulation has the drawback of requiring that the discrete/logic part of the hybrid problem needs to be converted to into mixed-integer inequalities. Although this operation can be done automatically, most of the original discrete structure of the problem is lost during the conversion. Moreover, the efficiency of the MIP solver only relies upon the tightness of the continuous LP/QP relaxations. In this paper we attempt at overcoming such difficulties by combining MIP and constraint programming (CP) techniques into a "hybrid" solver, taking advantage of CP for dealing efficiently with satisfiability of logic constraints. We detail how to model the hybrid dynamics so that the optimal control problem can be solved by the hybrid MIP+CP solver, and show on a case study that the achieved performance is superior to the one achieved by pure MIP solvers.
Author Giorgetti, N.
Bemporad, A.
Author_xml – sequence: 1
  givenname: A.
  surname: Bemporad
  fullname: Bemporad, A.
  organization: Dipt. Ingegneria dell'Informazione, Siena Univ., Italy
– sequence: 2
  givenname: N.
  surname: Giorgetti
  fullname: Giorgetti, N.
  organization: Dipt. Ingegneria dell'Informazione, Siena Univ., Italy
BookMark eNo9j01LAzEURQNWsK3dC27yB6a-l0y-lsOoVSi40XVJJomOTCclGYT59xYswoW7OVzOXZHFmMZAyB3CFhHMQ_vYbhkA3yJTTHJ5RTZGaTiHK8PqekGWgAYrxlDekFUp3wCgQcolaRo6pM--q5wtwdOv2eXe05KGn5BpTJmm09Qf7UC7NE45DTTFf2guUziWW3Id7VDC5tJr8vH89N6-VPu33Wvb7KseFZ8qE9EAF4ah9hY64ZVRMaCqnai1ityA16iM0FY4idKZLlrlLepaOOui4Wty_7fbhxAOp3y2yvPh8pj_Am3pSuo
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/CDC.2003.1272636
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EndPage 645 Vol.1
ExternalDocumentID 1272636
GroupedDBID 29P
6IE
6IF
6IH
6IK
6IM
AAJGR
AFFNX
ALMA_UNASSIGNED_HOLDINGS
CBEJK
IPLJI
RIE
RIO
RNS
ID FETCH-LOGICAL-i173t-9f190359218da0c5d797fe174b5487f390d817958a5b616b9cfa7da1845babf93
IEDL.DBID RIE
ISBN 9780780379244
0780379241
ISICitedReferencesCount 7
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000189434100111&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0191-2216
IngestDate Tue Aug 26 17:41:47 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i173t-9f190359218da0c5d797fe174b5487f390d817958a5b616b9cfa7da1845babf93
ParticipantIDs ieee_primary_1272636
PublicationCentury 2000
PublicationDate 20030000
PublicationDateYYYYMMDD 2003-01-01
PublicationDate_xml – year: 2003
  text: 20030000
PublicationDecade 2000
PublicationTitle 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)
PublicationTitleAbbrev CDC
PublicationYear 2003
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0008066
ssj0000451603
Score 1.3418981
Snippet Combinatorial optimization over continuous and integer variables was proposed recently as an useful tool for solving complex optimal control problems for...
SourceID ieee
SourceType Publisher
StartPage 640
SubjectTerms Automata
Control systems
Digital control
Ear
Embedded system
Industrial control
Logic
Optimal control
Quadratic programming
Switches
Title A logic-based hybrid solver for optimal control of hybrid systems
URI https://ieeexplore.ieee.org/document/1272636
Volume 1
WOSCitedRecordID wos000189434100111&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV27TsMwFL1qKwZYeLSItzwwktaJ49dYFSqmqgNI3SrbsUUlaFBpkfh7bCdNQWJhc6JIjhz7npz7OBfgNmUMW8psIj32JrmTYZSnoYDZcMVoZpWIzSb4ZCJmMzltwV1TC2Otjclnth-GMZZflGYTXGWDNOMZI6wNbc5ZVavV-FOCTgrDOysscBWn9HwkybKURcouMOGecKS18s72Ot_GL7EcjO5HUSW0X0_2q-tKBJ3x4f9e9wh6u-o9NG1w6RhadnkCBz-EB7swHKJo85IAYgV6-Qp1W8hvQ7-xkf-NRaW3JG_qFdWZ7Kh0zUOVxHkPnscPT6PHpG6mkCxSTtaJdB76CZUe0guFDS245M56PqIDZ3FE4kL4w0mFopqlTEvjFC-UJ4BUK-0kOYXOslzaM0DSCa0V5SR3nowQK7kxDGfKMlzw3Kpz6IbFmL9Xehnzeh0u_r59CfsxQS66Na6gs15t7DXsmc_14mN1Ez_yN_Hjnxk
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NT8IwGH6DaKJe_ADjtz14dNCua7seCUowIuGACTfSbW0kQWYQTPz3tmUMTbx465YlXbr2ffa8H88LcEs4x5pxHUiLvUFkpBtFxBUwp0JxFmoV-2YTot-PRyM5qMBdWQujtfbJZ7rhhj6Wn-Xp0rnKmiQUIad8C7Zd56yiWqv0qDilFI43djjGq0ilZSRBGBLuSXuMqbCUgxTaO-vraB3BxLLZvm97ndBGMd2vvisedjoH_3vhQ6hv6vfQoESmI6jo2THs_5AerEGrhbzVCxyMZej1y1VuIbsR7dZG9kcW5daWvKkpKnLZUW7Kh1Yi53V46TwM292gaKcQTIigi0AaC_6USQvqmcIpy4QURltGkjjWYqjEWWyPJ4sVSzjhiUyNEpmyFJAlKjGSnkB1ls_0KSBp4iRRTNDIWDpCtRRpynGoNMeZiLQ6g5pbjPH7SjFjXKzD-d-3b2C3O3zujXuP_acL2PPpct7JcQnVxXypr2An_VxMPubX_oN_A3TaomI
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=42nd+IEEE+International+Conference+on+Decision+and+Control+%28IEEE+Cat.+No.03CH37475%29&rft.atitle=A+logic-based+hybrid+solver+for+optimal+control+of+hybrid+systems&rft.au=Bemporad%2C+A.&rft.au=Giorgetti%2C+N.&rft.date=2003-01-01&rft.pub=IEEE&rft.isbn=9780780379244&rft.issn=0191-2216&rft.volume=1&rft.spage=640&rft.epage=645+Vol.1&rft_id=info:doi/10.1109%2FCDC.2003.1272636&rft.externalDocID=1272636
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0191-2216&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0191-2216&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0191-2216&client=summon