Search
Search Results
-
Generating probabilistic safety guarantees for neural network controllers
Neural networks serve as effective controllers in a variety of complex settings due to their ability to represent expressive policies. The complex...
-
Review on PID, fuzzy and hybrid fuzzy PID controllers for controlling non-linear dynamic behaviour of chemical plants
The chemical production process is tedious due to the integration of different types of equipment and variables. Designing the controller is crucial...
-
Comparative Analysis of Remote Tower Controllers and Traditional Physical Tower Controllers Based on Human Ergonomics in China
The purpose of this paper is to establish the safety operation evaluation standard of remote towers and provide reference for the safety evaluation...
-
Algebraically explainable controllers: decision trees and support vector machines join forces
Recently, decision trees (DT) have been used as an explainable representation of controllers (a.k.a. strategies, policies, schedulers). Although they...
-
Vibration analysis and control of aircraft landing systems using proposed neural controllers
Nowadays, landing gears used in aircraft are the basic systems that carry the weight of aircraft systems and provide them to move on the ground....
-
Modular design automation of the morphologies, controllers, and vision systems for intelligent robots: a survey
Design automation is a core technology in industrial design software and an important branch of knowledge-worker automation. For example, electronic...
-
Autopilot design of a class of miniature autonomous blimps enabled by switched controllers
The Georgia Tech Miniature Autonomous Blimp (GT-MAB) is developed as an indoor flying robot for education and research. The GT-MAB features extended...
-
Authority gradients between rail network controllers, train crew and track workers in Australia and New Zealand: motivations and behaviours
The underlying relationship dynamics leading to authority gradients between frontline rail workers are being overlooked despite rail incident...
-
A Study on Real-Time Control Capability Assessment of Approach Controllers
In order to evaluate the work capability of approach controllers in real time, further improve the safety of ATC operation and promote the...
-
Statistical verification of autonomous system controllers under timing uncertainties
Software in autonomous systems like autonomous cars, robots or drones is often implemented on resource-constrained embedded systems with...
-
Study of Psychological Stress Among Air Traffic Controllers
This study aims to investigate the psychological stress experienced by air traffic controllers in order to improve their well-being and ensure safe...
-
A Survey on Security Issues of SDN Controllers
Software Defined Network (SDN) separates the data layer and control layer of traditional networks, achieving efficient logical centralized control...
-
Learning safe neural network controllers with barrier certificates
We provide a new approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties. The...
-
Pre-shift State Assessment of Air Traffic Controllers Based on Improved Grey Correlation Theory
In order to accurately assess the pre-shift competence of controllers, the thesis formulates eight assessment indicators affecting the pre-shift...
-
Study on Temperament Characteristics of Air Traffic Controllers Based on BP Neural Network
The working characteristics of air traffic controllers are closely related to their temperament type. The selection of controllers, controller posts,...
-
Particle swarm optimization technique for speed control and torque ripple minimization of switched reluctance motor using PID and FOPID controllers
Switched Reluctance Motors has become one of the best solutions for EV applications because of its numerous benefits over other electric drive...
-
Model-Based Testing of Asynchronously Communicating Distributed Controllers
Programmable controllers are gaining prevalence even in distributed safety-critical infrastructures, e.g., in the railway and aerospace industries....
-
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
Ensuring the safety of autonomous vehicles (AVs) is the key requisite for their acceptance in society. This complexity is the core challenge in...
-
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
Reinforcement learning has received much attention for learning controllers of deterministic systems. We consider a learner-verifier framework for...
-
A Framework for the Competitive Analysis of Model Predictive Controllers
This paper presents a framework for the competitive analysis of Model Predictive Controllers (MPC). Competitive analysis means evaluating the...