Open Access. Powered by Scholars. Published by Universities.®
- Keyword
- Publication
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Controls and Control Theory
Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks., Mehdi Sabraoui
Formally Designing And Implementing Cyber Security Mechanisms In Industrial Control Networks., Mehdi Sabraoui
Electronic Theses and Dissertations
This dissertation describes progress in the state-of-the-art for developing and deploying formally verified cyber security devices in industrial control networks. It begins by detailing the unique struggles that are faced in industrial control networks and why concepts and technologies developed for securing traditional networks might not be appropriate. It uses these unique struggles and examples of contemporary cyber-attacks targeting control systems to argue that progress in securing control systems is best met with formal verification of systems, their specifications, and their security properties. This dissertation then presents a development process and identifies two technologies, TLA+ and seL4, that can be …
Improvement Of The Material’S Mechanical Characteristics Using Intelligent Real Time Control Interfaces In Hfc Hardening Process, Florentin Smarandache, Luige Vladareanu, Mihaiela Iliescu, Victor Vladareanu, Alexandru Gal, Octavian Melinte, Adrian Margean
Improvement Of The Material’S Mechanical Characteristics Using Intelligent Real Time Control Interfaces In Hfc Hardening Process, Florentin Smarandache, Luige Vladareanu, Mihaiela Iliescu, Victor Vladareanu, Alexandru Gal, Octavian Melinte, Adrian Margean
Branch Mathematics and Statistics Faculty and Staff Publications
The paper presents Intelligent Control (IC) Interfaces for real time control of mechatronic systems applied to Hardening Process Control (HPC) in order to improvement of the material’s mechanical characteristics. Implementation of IC laws in the intelligent real time control interfaces depends on the particular circumstances of the models characteristics used and the exact definition of optimization problem. The results led to the development of the IC interfaces in real time through Particle Swarm Optimization (PSO) and neural networks (NN) using off- line the regression methods.