Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Set propagation techniques for reachability analysis
Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …
dynamical system from all initial states and for all admissible inputs and parameters. It is a …
Recent progress in continuous and hybrid reachability analysis
Set-based reachability analysis computes all possible states a system may attain, and in this
sense provides knowledge about the system with a completeness, or coverage, that a finite …
sense provides knowledge about the system with a completeness, or coverage, that a finite …
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Since its inception as a student project in 2001, initially just for the handling (as the name
implies) of convex polyhedra, the Parma Polyhedra Library has been continuously improved …
implies) of convex polyhedra, the Parma Polyhedra Library has been continuously improved …
PHAVer: Algorithmic verification of hybrid systems past HyTech
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems–
yet it has remained severely limited in its applicability to more complex systems. We address …
yet it has remained severely limited in its applicability to more complex systems. We address …
PHAVer: algorithmic verification of hybrid systems past HyTech
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid
systems. But due to practical and systematic limitations it is only applicable to relatively …
systems. But due to practical and systematic limitations it is only applicable to relatively …
Systematic simulation using sensitivity analysis
In this paper we propose a new technique for verification by simulation of continuous and
hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic …
hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic …
Verification of hybrid systems
Hybrid systems are models which combine discrete and continuous behavior. They occur
frequently in safety-critical applications in various domains such as health care …
frequently in safety-critical applications in various domains such as health care …
Formal verification of analog and mixed signal designs: A survey
Analog and mixed signal (AMS) designs are an important part of embedded systems that
link digital designs to the analog world. Due to challenges associated with its verification …
link digital designs to the analog world. Due to challenges associated with its verification …
Reachability analysis of nonlinear systems using matrix measures
Matrix measures, also known as logarithmic norms, have historically been used to provide
bounds on the divergence of trajectories of a system of ordinary differential equations. In this …
bounds on the divergence of trajectories of a system of ordinary differential equations. In this …
Formal verification of phase-locked loops using reachability analysis and continuization
We present a scalable and formal technique to verify locking time and stability for charge-
pump phase-locked loops (PLLs). In contrast to the traditional simulation approach that only …
pump phase-locked loops (PLLs). In contrast to the traditional simulation approach that only …