Toward a backward model checking
- 期刊名称International Journal of Computer Aided Engineering and Technology
- 作者Nassima, Aleb; Zahia, Tamen; Nadjet, Kamel
- 卷第5卷
- 期第1期
- 印刷ISSN1757-2657
- 电子ISSN1757-2665
- 文件大小134.17KB
- 发表时间2013
- DOI10.1504/ijcaet.2013.050552
Darboux Polynomials for Lie AlgebrasMenini, Laura; Tornambè, Antonio · IFAC Proceedings Volumes · 2011
Sinusoidal disturbance rejection in chaotic planar oscillatorsMenini, Laura; Possieri, Corrado; Tornambè, Antonio · International Journal of Adaptive Control and Signal Processing · 2015
Dead-beat regulation of mechanical juggling systemsMenini, Laura; Possieri, Corrado; Tornambè, Antonio · Asian Journal of Control · 2017
Linearization through state immersion of nonlinear systems admitting Lie symmetriesLaura Menini; Antonio Tornambè · 2009
Exact and approximate feedback linearization without the linear controllability assumptionLaura Menini; Antonio Tornambè · 2012
On a Lyapunov equation for polynomial continuous-time systemsMenini, Laura; Tornambè, Antonio · International Journal of Control · 2014
Nonlinear Superposition Formulas for Two Classes of Non-holonomic SystemsLaura Menini,Antonio Tornambè · 2014
A Lie symmetry approach for the solution of the inverse kinematics problemLaura Menini, Antonio Tornambè · 2012
Robustness, Optimization, and ArchitecturesChandra, Fiona; Gayme, Dennice F.; Chen, Lijun; Doyle, John C. · European Journal of Control · 2011
Control of Constrained Dynamic SystemsMayne, D.Q. · European Journal of Control · 2001
Attitude Control of Underactuated SpacecraftSpindler, Karlheinz · European Journal of Control · 2000
Issues on Nonlinear Digital ControlMonaco, S.; Normand-Cyrot, D. · European Journal of Control · 2001
EditorialLandau, Ioan. D. · European Journal of Control · 1996
EditorialLandau, Ioan D. · European Journal of Control · 1996
Author Index to Volume 6(2000)European Journal of Control · 2000
On Fault Detectability and IsolabilityBasseville, Michéle · European Journal of Control · 2001