Symbolic Analysis of Programmable Logic Controllers

Zhang, Hehua; Jiang, Yu; Hung, William N. N.; Song, Xiaoyu; Gao, Ming; Sun, Jun

doi:10.1109/tc.2013.124

Cited by 17 publications

(4 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…25,26 Finally, since the PPG signal is obtained near the terminal of the artery, the reflection is noticeable and the measured wave is the superposition of the forward wave and the reflected wave. [27][28][29] Researchers focus more on the first factor to mitigate the influence of PEP, but less on the other two factors. The presentation of SM state has two major effects on BP estimation.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Noninvasive and continuous blood pressure monitoring with better accuracy by combining pulse arrival time and peak delay

Deng

2018

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

In this article, we propose a more accurate method to achieve noninvasive and continuous blood pressure monitoring with the aid of pulse arrival time and peak delay. Theoretical analysis shows that peak delay is positively correlated with the viscoelastic delay. Analysis of 12 subjects indicates that pulse arrival time with the compensation of peak delay (PATC) is much steadier and more robust than traditional pulse arrival time. Three common models (linear, inverse linear, and inverse quadratic) are employed to study the relationship between pulse arrival time/PATC and blood pressure. From pulse arrival time to PATC, the average promotions of correlation coefficient for systolic blood pressure are 0.065, 0.060, and 0.058 for the three models, respectively, accounting for 8.59%, 7.68%, and 7.43% improvement; for diastolic blood pressure are 0.070, 0.067, and 0.064, respectively, accounting for 12.73%, 12.05%, and 11.48% improvement. Finally, we find that peak delay is efficacious against the negative effects of the terminal reflection and the viscoelastic delay on the peripheral pulse wave. Our method is promising in developing novel applications on portable and wearable device for real-time blood pressure monitoring.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Noninvasive and continuous blood pressure monitoring with better accuracy by combining pulse arrival time and peak delay

Deng

2018

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

show abstract

“…Zhang et al [22] have presented a formal framework for symbolic analysis of programmable logic controllers (PLC) systems. The framework provides automatic analysis of reliability calculations and performance measurements.…”

Section: Related Workmentioning

confidence: 99%

A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking

Dai

Mei

Guo

et al. 2015

Mathematical Problems in Engineering

View full text Add to dashboard Cite

Energy saving is a crucial concern in embedded real time systems. Many RT-DVS algorithms have been proposed to save energy while preserving deadline guarantees. This paper presents a novel approach to evaluate RT-DVS algorithms using statistical model checking. A scalable framework is proposed for RT-DVS algorithms evaluation, in which the relevant components are modeled as stochastic timed automata, and the evaluation metrics including utilization bound, energy efficiency, battery awareness, and temperature awareness are expressed as statistical queries. Evaluation of these metrics is performed by verifying the corresponding queries using UPPAAL-SMC and analyzing the statistical information provided by the tool. We demonstrate the applicability of our framework via a case study of five classical RT-DVS algorithms.

show abstract

“…Finally, the outputs are updated and sent to actuators. 6 They can not only communicate with other control systems but they can diagnose their own failures. Size is typically an important measure to categorize the PLCs.…”

Section: Introductionmentioning

confidence: 99%

Design of two experimental setups for programmable logic controller (PLC) laboratory

Özerdem

2016

International Journal of Electrical Engineering & Education

View full text Add to dashboard Cite

As programmable logic controllers (PLC) technology, programming languages and communication capabilities have advanced, PLCs offer many control devices to be attached directly to the PLC. For this reason PLC education became an important issue in many interdisciplinary engineering departments of the Universities. In this paper an automation set for the laboratory of PLC is developed which can be operated in various ways by programming a PLC as desired. The designed set also enables the students to understand the operation principle of an elevator. This developed educational laboratory set can be used as a practice for sensors and actuators, control systems and industrial automation courses. The laboratory tool also provides a method to improve learning outcomes, skills and the real-time experiences in engineering education such as electrical, electronics, mechatronics and control engineering.

show abstract

Symbolic Analysis of Programmable Logic Controllers

Cited by 17 publications

References 27 publications

Noninvasive and continuous blood pressure monitoring with better accuracy by combining pulse arrival time and peak delay

Noninvasive and continuous blood pressure monitoring with better accuracy by combining pulse arrival time and peak delay

A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking

Design of two experimental setups for programmable logic controller (PLC) laboratory

Contact Info

Product

Resources

About