Automatic Synthesis of Robust Embedded Control Software
نویسندگان
چکیده
We propose a methodology for automatic synthesis of embedded control software that accounts for exogenous disturbances. The resulting system is guaranteed, by construction, to satisfy a given specification expressed in linear temporal logic. The embedded control software consists of three components: a goal generator, a trajectory planner, and a continuous controller. We demonstrate the effectiveness of the proposed technique through an example of an autonomous vehicle navigating an urban environment. This example also illustrates that the system is not only robust with respect to exogenous disturbances but also capable of handling violation of the environment assumptions.
منابع مشابه
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications
We present a case study on automatic synthesis of control software from formal speciications for an industrial automation control system. Our aim is to compare the eeectiveness (i.e. design eeort and controller quality) of automatic controller synthesis from closed loop formal speciications with that of manual controller design followed by automatic veriication. The system to be controlled (pla...
متن کاملCGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems
In the last years, the use of controllers has become very common, thus much work is being done to create automatic controller synthesis tools. When dealing with critical systems, most of the times such controllers are required to be optimal and robust, i.e., they must achieve their goal with minimal are intrinsically difficult to satisfy, become even more challenging when dealing with hybrid sy...
متن کاملFormally Modeling a Metal Processing Plant and its Closed Loop Speci cations
We present a case study on automatic synthesis of control software from formal speci cations for an industrial automation control system. Our aim is to compare the e ectiveness (i.e. design e ort and controller quality) of automatic controller synthesis from closed loop formal speci cations with that of manual controller design followed by automatic veri cation. The system to be controlled (pla...
متن کاملA Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers
Control systems are small components that control the behavior of larger systems. In the last years, sophisticated controllers have been widely used in the hardware/software embedded systems contained in a growing number of everyday products and appliances. Therefore, the problem of the automatic synthesis of controllers is extremely important. To this aim, several techniques have been applied,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010