System-Level Design, Modeling, and Verification of GALS Cyber-Physical Systems
Cyber-physical systems (CPSs) are of great significance to industrial automation due to their proficiency in managing complex tasks. Concurrency and heterogeneity, which are fundamental characteristics of CPS, pose significant challenges related to complexities in design, system architecture, timing...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2025-01-01
|
| Series: | IEEE Open Journal of the Industrial Electronics Society |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/11087690/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|