Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference18 articles.
1. Discrete approximation and supervisory control of continuous systems;Raisch;IEEE Trans. Automat. Control,1998
2. Supervisory control of hybrid systems within a behavioral framework;Moor;Systems Control Lett.,1999
3. Linear time logic control of discrete-time linear systems;Tabuada;IEEE Trans. Automat. Control,2006
4. A fully automated framework for control of linear systems from LTL specifications;Kloetzer,2006
5. Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems;Reißig,2009
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献