Abstract
A timed control synthesis approach is proposed for a class of hybrid systems modeled with rectangular hybrid automata. The control objective is to constrain the reachable state spaces by the addition of control specifications which can be inconsistent with the system dynamics. Our approach is within an automatic control view and is based on the offline computation of the system new transition guards determined from the reachable state spaces. The approach is illustrated via a production system.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
