2016/05/31 by Daniel Ciolek, Ciolek, Daniel, Vı́ctor Braberman +5
Business, Management and Accounting · Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #FOS: Electrical engineering #Flexible and Reconfigurable Manufacturing Systems #Formal Methods in Verification #Petri Nets in System Modeling #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1605.09772
openalex publication_date 2016/05/31 · openalex created_date 2022/10/02 · openalex updated_date 2026/08/01
This paper presents a Directed Controller Synthesis (DCS) technique for\ndiscrete event systems. The DCS method explores the solution space for reactive\ncontrollers guided by a domain-independent heuristic. The heuristic is derived\nfrom an efficient abstraction of the environment based on the componentized way\nin which complex environments are described. Then by building the composition\nof the components on-the-fly DCS obtains a solution by exploring a reduced\nportion of the state space. This work focuses on untimed discrete event systems\nwith safety and co-safety (i.e. reachability) goals. An evaluation for the\ntechnique is presented comparing it to other well-known approaches to\ncontroller synthesis (based on symbolic representation and compositional\nanalyses).\n