نتایج جستجو برای: abstraction
تعداد نتایج: 29667 فیلتر نتایج به سال:
Journal:
:Nonlinear Analysis: Hybrid Systems
2018
Journal:
:IET Information Security
2009
Journal:
:IEEE Transactions on Automatic Control
2018
Journal:
:Science of Computer Programming
1988
Journal:
:IEEE open journal of control systems
2023
We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that closed-loop fulfills an arbitrary Linear Temporal Logic specification. Moreover, specification may take into account logical context switches induced by external environ...
Journal:
:Logical Methods in Computer Science
2007
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید