Crossmark

MR-HybridSynchAADL: formal modeling and analysis of multirate CPSs with advanced control programs and continuous dynamics

Published Online: 2025-12-22

Published Print: 2025-12

Authors

Lee, Jaehun

Bae, Kyungmin

Ölveczky, Peter Csaba
Funding

Funding for this research was provided by:

Pohang University of Science and Technology
License Information

Text and Data Mining valid from 2025-12-01

Version of Record valid from 2025-12-22
More Information

Article History

Accepted: 13 December 2025

First Online: 22 December 2025

Document is current