posted by organizer: susmitj || 713 views || tracked by 2 users: [display]

DESTION 2022 : Design Automation for CPS and IoT

FacebookTwitterLinkedInGoogle

Link: https://cps-vo.org/group/DESTION2022
 
When May 3, 2022 - May 3, 2022
Where Virtual
Submission Deadline Feb 1, 2022
Notification Due Feb 26, 2022
Categories    CPS   IOT   AI   machine learning
 

Call For Papers

ACM/IEEE DESTION 2022 CALL FOR PAPERS

The 4th Workshop on Design Automation for CPS and IoT

May 3, 2022, part of CPS-IoT Week 2022

https://cps-vo.org/group/DESTION22

Overview:

Cyber-Physical Systems (CPS) such as aircraft, automobiles, industrial robots, medical devices, and Internet-of-Things (IoT) applications, promise significant economic and societal benefits. The design, verification, validation, testing, and operation of such systems present several challenges induced by scale, complexity, uncertainty, and many stringent requirements on safety, performance, security, availability, and many other metrics.

There has been a drastic shift in the manner in which products are designed in the past few decades, from being predominantly mechanical and having independent components to being cyber-physical with highly interacting components. This has resulted in an explosion in the design complexity, leading to very long design cycle times. For several of the complex systems presented above the design process can last years involving several redesign loops. To circumvent this issue, the current state of practice relies on “hot-starting” a new design from a known baseline, which unfortunately limits innovation, preventing a detailed exploration of the design space. The design space, on the other hand, is significantly more complex given the interdependent nature of the multidisciplinary design problem. There have been numerous advances in the area of AI for Design Automation methods that have been shown to help in the design of these complex systems, as well as in their autonomous operations. These methods range from natural language processing for requirements engineering, physics-informed models to accelerate simulations, Bayesian methods for uncertainty quantification, probabilistic programming methods to represent designs as a handful of examples. On the other hand, as AI is integrated into a diverse variety of systems such as autonomous vehicles, energy grids, health care, IoTs, and social network platforms, the challenge of design and verification of AI-enabled systems has become extremely important. This has led to new Design Automation for AI methods of interest including network architecture exploration techniques, AI testing and verification methods, and simulation tools.

DESTION provides a premier forum for researchers and engineers from academia, industry, and government to present and discuss challenges, promising solutions, and applications in design automation for CPS and IoT. DESTION 2022 has a broad scope covering techniques and tools for modeling, simulation, synthesis, validation, and verification of CPS and IoT, with a focus on “AI for Design Automation” and “Design Automation for AI”, and their applications in a variety of domains, such as automotive and transportation systems, avionics, robotics, building architectures, grid, and medical devices.

We invite contributions in the following main topics (but not limited to):

Machine learning in CPS/IoT
Assurance and formal verification methodologies
Correct-by-construction design and evolution
Requirement engineering
Real-time execution
Test and evaluation
Languages and tools for specification and design
Architectural design
Circuit design
Run-time monitoring
Benchmarks and datasets
Submissions:

Papers: All submissions must be in English. Only original papers that have not been submitted or published in other conferences or journals will be considered. Full technical contributions should have no more than 6 pages, excluding references and appendix. We also welcome shorter papers.

Tool Papers, Benchmark Releases, and Demos: DESTION 2022 also seeks 2-page abstracts (excluding references) describing benchmarks, tool descriptions, and demos. Supplementary materials for tools and demos such as videos, repository links, and online accessible web-applications are encouraged.

Please submit your papers and abstracts at https://easychair.org/conferences/?conf=destion2022. The submission must be in the IEEE format, and authors can use the Latex template available at https://www.ieee.org/conferences/publishing/templates.html. All accepted papers and demo abstracts will be published in IEEE Xplore as part of the DESTION 2022 proceedings.

Important Dates:

February 1, 2022: Submission deadline

February 26, 2022: Author notification

March 5, 2022: Camera-ready due



Program Co-Chairs:

Susmit Jha (SRI International, USA)

Arun Ramamurthy (Siemens, USA)

General Chairs:

Abhishek Dubey (Vanderbilt University, USA)

Alessandro Pinto (Raytheon Technologies)

Steering Committee:

Werner Damm (Carl von Ossietzky Universitat Oldenburg, Germany)

Edward A. Lee (University of California, Berkeley, USA)

Richard Murray (California Institute of Technology, USA)

George J. Pappas (University of Pennsylvania, USA)

Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA)

S. Shankar Sastry (University of California, Berkeley, USA)

Janos Sztipanovits (Vanderbilt University, USA)

Qi Zhu (Northwestern University, USA)

Related Resources

ICDM 2022   22nd IEEE International Conference on Data Mining
SAMDE 2022   2022 International Symposium on Automation, Mechanical and Design Engineering (SAMDE 2022)
NeurIPS 2022   Thirty-sixth Conference on Neural Information Processing Systems
CLNLP 2022   2022 3rd International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2022)
MLDM 2023   18th International Conference on Machine Learning and Data Mining
ICBDB 2022   2022 4th International Conference on Big Data and Blockchain(ICBDB 2022)
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
CPSIOT 2022   2022 International Conference on Cyber Physical Systems and IoT(CPSIOT 2022)
CIKM 2022   Call for Applied Research Papers (CIKM 2022)