Counterexample-Preserving Reduction for Symbolic Model Checking by Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao

“…In this paper, we tentatively name such technique “counterexample-preserving reduction” (CePRe, for short), and the proposed technique is evaluated by conducting comparative experiments of BDD-based model checking, bounded model checking, and property directed reachability-(IC3) based model checking.…”
Get full text

Topology Control and Medium Access Control (MAC) Protocol for Wireless Sensor Networks (WSNs) in Cyber-Physical System by Ang Li, Chen Zhang, Baoyu Zheng, Lei Li

“…The system reachability set is calculated by covering all possible behaviours of the system through a finite number of simulation steps to ensure that the system trajectory stays within a set safety region. …”
Get full text

Design of Robust Supertwisting Algorithm Based Second-Order Sliding Mode Controller for Nonlinear Systems with Both Matched and Unmatched Uncertainty by Marwa Jouini, Slim Dhahri, Anis Sellami

“…In addition, an integral sliding mode switching surface is proposed to construct the attractiveness and reachability of sliding mode. Sufficient conditions are derived to guarantee the exact differentiation stability in finite time based on Lyapunov function theory. …”
Get full text

Prioritizing Signaling Information Transmission in Next Generation Networks by Jasmina Baraković, Himzo Bajrić, Mladen Kos, Sabina Baraković, Amir Husić

“…As a consequence, it may be impossible to implement reachability and quality of service (QoS). Since present approaches are insufficient to completely address this problem, a novel approach is proposed, which is based on prioritizing signaling information transmission. …”
Get full text

Kinematics and spatial structure analysis of TBM gunite robot based on D–H parameter method by Lianhui Jia, Shenyao Liu, Chenxu Cao, Yehao Kang, Ying Zhu, Lijun Wang, Donglai Xu, Ruixue Cheng

“…Finally, based on the Monte Carlo random sampling method, the workspace of the robot is constructed, and its reachability and flexibility within the robot workspace are evaluated. …”
Get full text

Confusion Analysis and Detection for Workflow Nets by Xiao-liang Chen, Zhong-yuan Jiang, Jian-hong Ye

“…Second, a detection approach based on the characteristics of confusion subnets and the integer linear programming (ILP) is developed, which is not required to compute the reachability graph of a WF-net. Examples of the confusion detection in WF-nets are presented. …”
Get full text

Validation of Balance Map Analysis of Walking at Different Speeds by Takahiro Kagawa

“…Balance map analysis evaluates walking balance based on the prediction of the reachability of an appropriate foot placement using a simple biomechanical model during the swing phase without active joint torque (ballistic walking model). …”
Get full text

Optimality criteria for deterministic discrete-time infinite horizon optimization by Irwin E. Schochetman, Robert L. Smith

“…As to underselectivity, we provide weak state reachability conditions which assure that every efficient solution is also average optimal, thus providing a sufficient condition for average optima to exist. …”
Get full text

Combining robust state estimation with nonlinear model predictive control to regulate the acute inflammatory response to pathogen by Gregory Zitelli, Seddik M. Djouadi, Judy D. Day

“…In this present work, we present resultson the nonlinear reachability of the underlying model, and then focus our attention on improving the predictability of the underlying model by coupling the NMPC with a particle filter. …”
Get full text

Older adults do not consistently overestimate their action opportunities across different settings by Isabel Bauer, Milena S. Gölz, Lisa Finkel, Maddalena Blasizzo, Sarah E. M. Stoll, Jennifer Randerath

“…., judging one’s hand fit into an opening) or distal boundaries (e.g., judging the reachability of a distant object). The older participants showed significantly more liberal judgments in tasks with distal boundaries. …”
Get full text