NDLI: Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems

Content Provider	IEEE Xplore Digital Library
Author	Abbas, H. Hoxha, B. Fainekos, G. Ueda, K.
Copyright Year	2014
Description	Author affiliation: Toyota Tech. Center, Gardena, CA, USA (Ueda, K.) \|\| Arizona State Univ., Tempe, AZ, USA (Abbas, H.; Hoxha, B.; Fainekos, G.)
Abstract	We present a framework for automatic specification-guided testing for Stochastic Cyber-Physical Systems (SCPS). The framework utilizes the theory of robustness of Metric Temporal Logic (MTL) specifications to quantify how robustly an SCPS satisfies a specification in MTL. The goal of the testing framework is to detect system operating conditions that cause the system to exhibit the worst expected specification robustness. The resulting expected robustness minimization problem is solved using Markov chain Monte Carlo algorithms. This also allows us to use finite-time guarantees, which quantify the quality of the solution after a finite number of simulations. In a Model-Based Design (MBD) process, our framework can be combined with Statistical Model Checking (SMC). Finally, we present a case study on a high fidelity engine model where the goal is to verify the air-to-fuel ratio problem.
Starting Page	1
Ending Page	6
File Size	344921
Page Count	6
File Format	PDF
e-ISBN	9781479936694
DOI	10.1109/CYBER.2014.6917426
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-06-04
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Measurement Atmospheric modeling Stochastic processes Probability Robustness Mathematical model Engines
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems

Efficient Temporal and Spatial Data Recovery Scheme for Stochastic and Incomplete Feedback Data of Cyber-physical Systems

Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer

Simulation-guided approaches for verification of automotive powertrain control systems

Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward

Physical and cyber convergence approach to design future complex aviation cyber physical systems

Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Modeling and verification of interactive behavior for cyber-physical systems

Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems

Similar Documents

Robustness-Guided Temporal Logic Testing and Verification for Stochastic Cyber-Physical Systems

Efficient Temporal and Spatial Data Recovery Scheme for Stochastic and Incomplete Feedback Data of Cyber-physical Systems

Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer

Simulation-guided approaches for verification of automotive powertrain control systems

Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward

Physical and cyber convergence approach to design future complex aviation cyber physical systems

Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Modeling and verification of interactive behavior for cyber-physical systems

Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems