Nonlinearity, Automation, and Reliable Cyberphysical Systems

The challenge of reliable cyberphysical system (CPS) engineering requires design automation methods that fully exploit algorithmic and datadriven approaches to NP-hard problem solving. Full-stack synthesis tools that integrate design, implementation, and certification are crucial for developing futu...

Full description

Saved in:
Bibliographic Details
Published in:Computer (Long Beach, Calif.) Calif.), 2021-07, Vol.54 (7), p.94-96
Main Author: Gao, Sicun
Format: Article
Language:English
Subjects:
Automation
Certification
Cyber-physical systems
Design automation
NP-hard problem
Reliability engineering
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The challenge of reliable cyberphysical system (CPS) engineering requires design automation methods that fully exploit algorithmic and datadriven approaches to NP-hard problem solving. Full-stack synthesis tools that integrate design, implementation, and certification are crucial for developing future generations of CPSs with rigorous functionality and reliability guarantees.
ISSN:0018-9162
1558-0814
DOI:10.1109/MC.2021.3074776