Advances and challenges of quantitative verification and synthesis for cyber-physical systems

Advances and challenges of quantitative verification and synthesis for cyber-physical systems

We are witnessing a huge growth of cyber-physical systems, which are autonomous, mobile, endowed with sensing, controlled by software, and often wirelessly connected and Internet-enabled. They include factory automation systems, robotic assistants, self-driving cars, and wearable and implantable dev...

Detaylı Bibliyografya
Yazar:	Kwiatkowska, M
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	Institute of Electrical and Electronics Engineers 2016

Benzer Materyaller

Quantitative verification and strategy synthesis of stochastic games
Yazar:: Svorenova, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Towards Verification of Uncertain Cyber-Physical Systems
Yazar:: Carna Radojicic, ve diğerleri
Baskı/Yayın Bilgisi: (2017-04-01)

Real-Time Verification for Distributed Cyber-Physical Systems
Yazar:: Tran, Hoang-Dung, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

Formal Verification of Control Modules in Cyber-Physical Systems
Yazar:: Iwona Grobelna
Baskı/Yayın Bilgisi: (2020-09-01)

Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
Yazar:: Yu Wang, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

A Systematic Mapping Study on the Verification of Cyber-Physical Systems
Yazar:: Pengfei Duan, ve diğerleri
Baskı/Yayın Bilgisi: (2018-01-01)

Security Verification for Cyber-Physical Systems Using Model Checking
Yazar:: Ching-Chieh Chan, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Quantitative Multi-objective Verification for Probabilistic Systems.
Yazar:: Forejt, V, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Survey of advances and challenges in intelligent autonomy for distributed cyber-physical systems
Yazar:: David W. McKee, ve diğerleri
Baskı/Yayın Bilgisi: (2018-06-01)

Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
Yazar:: Sungjoo Kang, ve diğerleri
Baskı/Yayın Bilgisi: (2019-01-01)

Modeling and Verification of Uncertain Cyber-Physical System Based on Decision Processes
Yazar:: Na Chen, ve diğerleri
Baskı/Yayın Bilgisi: (2023-09-01)

A Software Verification Method for the Internet of Things and Cyber-Physical Systems
Yazar:: Yuriy Manzhos, ve diğerleri
Baskı/Yayın Bilgisi: (2023-07-01)

Quantitative Verification of Implantable Cardiac Pacemakers
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Challenges and recent advances in the design of real-time wireless Cyber-Physical Systems
Yazar:: Romain Jacob
Baskı/Yayın Bilgisi: (2022-03-01)

Survey on automated symbolic verification and its application for synthesising cyber-physical systems
Yazar:: Lucas C. Cordeiro, ve diğerleri
Baskı/Yayın Bilgisi: (2019-08-01)

A type system for formal verification of cyber-physical systems C/C++ software
Yazar:: Yuriy Manzhos, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

Advances in Methods for Networked and Cyber-Physical System
Yazar:: Jason Gu, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Closed-loop quantitative verification of rate-adaptive pacemakers
Yazar:: Paoletti, N, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Cyber-security for Mobile Service Robots – Challenges for Cyber-physical System Safety
Yazar:: Wojciech Dudek, ve diğerleri
Baskı/Yayın Bilgisi: (2019-06-01)

A quantitative analysis model of grid cyber physical systems
Yazar:: Li Huang, ve diğerleri
Baskı/Yayın Bilgisi: (2018-12-01)

Resilience Estimation of Cyber-Physical Systems via Quantitative Metrics
Yazar:: Michel Barbeau, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Theory, Applications, and Challenges of Cyber-Physical Systems 2021
Yazar:: Hang Su, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Cyber Physical Systems: Analyses, challenges and possible solutions
Yazar:: Amit Kumar Tyagi, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities
Yazar:: Shabnam Pasandideh, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Explainable AI for Cyber-Physical Systems: Issues and Challenges
Yazar:: Amber Hoenig, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
Yazar:: Barbot, B, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
Yazar:: Marjan Sirjani, ve diğerleri
Baskı/Yayın Bilgisi: (2021-05-01)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Cybersecurity-based blockchain for cyber-physical systems: challenges and applications
Yazar:: Maleh, Yassine, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Anomaly Detection for Aviation Cyber-Physical System: Opportunities and Challenges
Yazar:: Qurrat Ul Ain, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

COGNITIVE MODELING APPROACH FOR DEALING WITH CHALLENGES IN CYBER-PHYSICAL SYSTEMS
Yazar:: Róbert Adrian RILL, ve diğerleri
Baskı/Yayın Bilgisi: (2019-06-01)

Challenges for Anomaly Detection in Large-Scale Cyber-Physical Systems
Yazar:: George Michailidis
Baskı/Yayın Bilgisi: (2023-03-01)

Synthesis and verification of delf-aware computing systems
Yazar:: Calinescu, R, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Cyber-Physical Systems and Smart Cities in India: Opportunities, Issues, and Challenges
Yazar:: Md. Onais Ahmad, ve diğerleri
Baskı/Yayın Bilgisi: (2021-11-01)

Towards formal verification of cyber security standards
Yazar:: Tomas Kulik, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

A Method for Cyber-Physical System Behavior Modeling and Safety Verification Based on Extended Hybrid System Description Language
Yazar:: Tuo Ming Fu, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)

Cyber-Attacks in IoT-enabled Cyber-physical Systems
Yazar:: SS Latha, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

Modeling, stability analysis and advanced control of cyber-physical microgrid systems
Yazar:: Yao, Weitao
Baskı/Yayın Bilgisi: (2023)

Advanced Persistent Threat Kill Chain for Cyber-Physical Power Systems
Yazar:: Alfan Presekal, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Challenges of Machine Learning Applied to Safety-Critical Cyber-Physical Systems
Yazar:: Ana Pereira, ve diğerleri
Baskı/Yayın Bilgisi: (2020-11-01)