Abstraction refinement and plan revision for control synthesis under high level specifications*. Issue 1 (July 2017)

• Record Type: Journal Article
• Authors: Meyer, Pierre-Jean; Dimarogonas, Dimos V.
• Is Part Of: IFAC-PapersOnLine. Volume 50:Issue 1(2017)
• Page Start: 9254
• Page End: 9259
• Publication Date: 2017-07
• Subjects: Reachability analysis -- verification -- abstraction of hybrid systems -- Abstraction refinement -- Plan revision -- Hybrid systems; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2017.08.1292
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: This paper presents a novel framework combining abstraction refinement and plan revision for control synthesis problems under temporal logic specifications. The control problem is first solved on a simpler nominal model in order to obtain a satisfying plan to be followed by the real system. A controller synthesis is then attempted for an abstraction of the real system to follow this plan. Upon failure of this synthesis, cost functions are defined to guide towards either refining the initially coarse partition to obtain a finer abstraction, or looking for an alternative plan using the nominal model as above. This tentative synthesis is then repeated until a plan and an abstraction of the real system able to follow this plan are found. The obtained controller also ensures that the real system satisfies the initial specification.