Verification of logic controllers for continuous plants using timed condition/event-system models

JOURNAL ARTICLE published March 1999 in Automatica

Authors: S. Kowalewski | S. Engell | J. Preußig | O. Stursberg

Algorithms to compute the largest invariant set contained in an algebraic set for continuous-time and discrete-time nonlinear systems

JOURNAL ARTICLE published January 2020 in IEEE/CAA Journal of Automatica Sinica

Authors: Laura Menini | Corrado Possieri | Antonio Tornambè

An Incentive Mechanism for Federated Learning: A Continuous Zero-Determinant Strategy Approach

JOURNAL ARTICLE published January 2024 in IEEE/CAA Journal of Automatica Sinica

Research funded by National Natural Science Foundation of China (62173308)

Authors: Changbing Tang | Baosen Yang | Xiaodong Xie | Guanrong Chen | Mohammed A.A. Al-Qaness | Yang Liu