Formal verification of hyperproperties for control systems

Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems ◽

10.1145/3457335.3461715 ◽

2021 ◽

Author(s):

Mahathi Anand ◽

Vishnu Murali ◽

Ashutosh Trivedi ◽

Majid Zamani

Keyword(s):

Formal Verification ◽

Control Systems

Download Full-text

A Framework for Simulation and Formal Verification of Redundant Flight Control Systems with Components Subject to Partially Synchronous Timing Effects

10.1109/dasc52595.2021.9594390 ◽

2021 ◽

Author(s):

Valentin A. Marvakov ◽

Florian Holzapfel

Keyword(s):

Formal Verification ◽

Control Systems ◽

Flight Control ◽

Download Full-text

Intrusion Detection in PLC-Based Industrial Control Systems Using Formal Verification Approach in Conjunction with Graphs

Journal of Hardware and Systems Security ◽

10.1007/s41635-017-0017-y ◽

2017 ◽

Vol 2 (1) ◽

pp. 1-14

Author(s):

Muluken Hailesellasie ◽

Syed Rafay Hasan

Keyword(s):

Intrusion Detection ◽

Formal Verification ◽

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

ClawZ: Cost-Effective Formal Verification for Control Systems

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/11576280_32 ◽

2005 ◽

pp. 465-479 ◽

Author(s):

M. M. Adams ◽

P. B. Clayton

Keyword(s):

Formal Verification ◽

Control Systems ◽

Download Full-text

WHAT’S REAL IN “REAL-TIME CONTROL SYSTEMS”? Applying formal verification methods and real-time rule-based systems to control systems and robotics

INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I ◽

10.1007/1-4020-4543-3_4 ◽

2006 ◽

pp. 31-35

Author(s):

Albert M. K. Cheng

Keyword(s):

Formal Verification ◽

Control Systems ◽

Real Time ◽

Real Time Control ◽

Time Control ◽

Verification Methods ◽

And Robotics ◽

Rule Based Systems

Download Full-text

Formal Verification of Control Systems Software

10.1515/9780691189581 ◽

2019 ◽

Author(s):

Pierre-Loïc Garoche

Keyword(s):

Formal Verification ◽

Control Systems ◽

Systems Software

Download Full-text

A formal verification approach to revealing stealth attacks on networked control systems

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566484 ◽

2014 ◽

Author(s):

Nikola Trcka ◽

Mark Moulin ◽

Shaunak Bopardikar ◽

Alberto Speranzon

Keyword(s):

Formal Verification ◽

Control Systems ◽

Networked Control Systems ◽

Networked Control

Download Full-text

A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems

Computers in Industry ◽

10.1016/j.compind.2020.103328 ◽

2020 ◽

Vol 123 ◽

pp. 103328

Author(s):

M. Niang ◽

B. Riera ◽

A. Philippot ◽

J. Zaytoon ◽

F. Gellot ◽

...

Keyword(s):

Formal Verification ◽

Control Systems ◽

Power Supply ◽

Automatic Generation ◽

Supply Equipment

Download Full-text

Automatic Formal Verification of SysML State Machine Diagrams for Vehicular Control Systems

10.4271/2021-01-0260 ◽

2021 ◽

Author(s):

Maziar Mahani ◽

Denise Rizzo ◽

Chris Paredis ◽

Yue Wang

Keyword(s):

Formal Verification ◽

Control Systems ◽

Download Full-text

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10702-8_1 ◽

2014 ◽

pp. 1-15 ◽

Author(s):

Muhammad Ahmad ◽

Osman Hasan

Keyword(s):

Steady State ◽

Feedback Control ◽

Formal Verification ◽

Control Systems ◽

Feedback Control Systems

Download Full-text

Task level specification and formal verification of robotics control systems: State of the art and case study

International Journal of Systems Science ◽

10.1080/002077299291697 ◽

1999 ◽

Vol 30 (11) ◽

pp. 1227-1245 ◽

Author(s):

K. Kapellos ◽

D. Simon ◽

M. Jourdant ◽

B. Espiau

Keyword(s):

Formal Verification ◽

Control Systems ◽

State Of The Art ◽

Download Full-text