Feedback Control Methodologies for Nonlinear Systems
- 期刊名称Journal of Optimization Theory and Applications
- 作者S. C. Beeler; H. T. Tran; H. T. Banks
- 卷第107卷
- 期第1期
- 印刷ISSN0022-3239
- 电子ISSN1573-2878
- 文件大小178.26KB
- 发表时间2000-10
- DOI10.1023/a:1004607114958
- 页码1-33
同作者推荐
Synthesising Features by GamesDimitar P. Guelev; Mark Ryan; Pierre Yves Schobbens · 2006
Sharpening the Incompleteness of the Duration CalculusDimitar P. Guelev · 2005
A Propositional Dynamic Logic with Qualitative ProbabilitiesDimitar P. Guelev · Journal of Philosophical Logic · 1999
Prefix and Projection onto State in Duration CalculusDimitar P. Guelev; Dang Van Hung · 2002
An application of temporal projection to interleaving concurrencyBen Moszkowski,Dimitar P. Guelev · Formal Aspects of Computing · 2017
Synthesising verified access control systems through model checkingZhang, Nan; Ryan, Mark; Guelev, Dimitar P. · Journal of Computer Security · 2008
An Epistemic Predicate CTL* for Finite Control π-ProcessesDimitar P. Guelev; Mads Dam · 2011