A formal verification technique for behavioural model-to-model transformations
- 期刊名称Formal Aspects of Computing
- 作者de Putter, Sander; Wijs, Anton
- 卷第30卷
- 期第1期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小1382.01KB
- 发表时间2018-1
- DOI10.1007/s00165-017-0437-z
- 页码3-43
Technical Committee on System Identification and Adaptive Control [Technical Activities]Mercere, Guillaume · IEEE Control Systems · 2017
Realization Theory for LPV State-Space Representations with Affine DependencePetreczky, Mihaly; Toth, Roland; Mercere, Guillaume · IEEE Transactions on Automatic Control · 2016
X-ray active mirror coupled with a Hartmann wavefront sensorMourad Idir; Pascal Mercere; Mohammed H. Modi; Guillaume Dovillaire; Xavier Levecq; Samuel Bucourt; Lionel Escolano; Paul Sauvageot · 2010
Combining linear algebra and numerical optimization for gray-box affine state-space model identificationProt, Olivier; Mercere, Guillaume · IEEE Transactions on Automatic Control · 2019
Continuous-Time Linear Parameter-Varying Identification of a Cross Flow Heat Exchanger: A Local ApproachMercere, Guillaume; Palsson, Halldor; Poinot, Thierry · IEEE Transactions on Control Systems Technology · 2011
Ex- and In-situ Metrology Based on the Shack-Hartmann Technique for Sub-nanometric MetrologyIdir, Mourad; Dovillaire, Guillaume; Mercere, Pascal · Synchrotron Radiation News · 2013
[IEEE 2007 American Control Conference - New York, NY, USA (2007.07.9-2007.07.13)] 2007 American Control Conference - Identification for gain-scheduling: a balanced subspace approachLovera, Marco; Mercere, Guillaume · 2007
Decomposition Via QPShamgah, Laya; Nobakhti, Amin · IEEE Transactions on Control Systems Technology · 2012
From Wiener to hidden Markov modelsAnderson, B.D.O. · IEEE Control Systems Magazine · 1999
Phase-space control system designBradley, E.; Zhao, F. · IEEE Control Systems · 1993
Scheduling of networked control systemsWalsh, G.C.; Hong Ye, · IEEE Control Systems Magazine · 2001
Control of diesel enginesGuzzella, L.; Amstutz, A. · IEEE Control Systems Magazine · 1998
Development of the PID controllerBennett, S. · IEEE Control Systems · 1993
Vladimir Andreevich Yakubovich [Obituary]Fradkov, Alexander; Gelig, Arkady; Leonov, Gennady · IEEE Control Systems · 2013
Analytical framework for gain schedulingRugh, W.J. · IEEE Control Systems · 1991