Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation-Reference-Cited by-同舟云学术

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation

Published:2020-11 Issue:11 Volume:39 Page:3674-3685
ISSN:0278-0070
Container-title:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
language:
Short-container-title:IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

Author:

Zhang Zhenya^ORCID,Arcaini Paolo^ORCID,Hasuo Ichiro^ORCID

Funder

ERATO HASUO Metamathematics for Systems Design Project

Grant-in-Aid for JSPS Fellows

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software

Link

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation;Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice;2024-04-14

4. Robust Testing for Cyber-Physical Systems using Reinforcement Learning;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

5. Stealthy attacks formalized as STL formulas for Falsification of CPS Security;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09