Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- California Polytechnic State University, San Luis Obispo (36)
- Tashkent State Technical University (18)
- University of Nevada, Las Vegas (12)
- Clemson University (11)
- Old Dominion University (10)
-
- Michigan Technological University (9)
- Air Force Institute of Technology (8)
- The University of Akron (8)
- Virginia Commonwealth University (6)
- Embry-Riddle Aeronautical University (5)
- Georgia Southern University (5)
- West Virginia University (5)
- University of Kentucky (4)
- University of Louisville (4)
- University of New Mexico (4)
- Wayne State University (4)
- Louisiana State University (3)
- Technological University Dublin (3)
- University of Arkansas, Fayetteville (3)
- University of Connecticut (3)
- University of Nebraska - Lincoln (3)
- University of Texas at Arlington (3)
- City University of New York (CUNY) (2)
- Cleveland State University (2)
- Kennesaw State University (2)
- New Jersey Institute of Technology (2)
- University of Dayton (2)
- University of Denver (2)
- Western University (2)
- American University in Cairo (1)
- Keyword
-
- Robotics (19)
- Autonomous (9)
- Controls (7)
- Robot (7)
- Control (6)
-
- Reinforcement Learning (6)
- Machine Learning (5)
- Simulation (5)
- Automation (4)
- Computer vision (4)
- Mechatronics (4)
- Quantum computing (4)
- Robots (4)
- UAV (4)
- Artificial Intelligence (3)
- Control systems (3)
- Dynamics (3)
- Fuzzy logic (3)
- Industrial – Control systems (3)
- Industrial; Robots (3)
- Kalman filter (3)
- Modeling (3)
- Multi-agent systems (3)
- Navigation (3)
- Optimal control (3)
- PLC (3)
- Path Planning (3)
- ROS (3)
- ROS2 (3)
- #antcenter (2)
- Publication Year
- Publication
-
- Chemical Technology, Control and Management (17)
- Master's Theses (16)
- Theses and Dissertations (16)
- Electrical Engineering (11)
- All Dissertations (9)
-
- Dissertations, Master's Theses and Master's Reports (9)
- Electrical & Computer Engineering Theses & Dissertations (9)
- Williams Honors College, Honors Research Projects (8)
- Electronic Theses and Dissertations (6)
- Computer Engineering (5)
- Graduate Theses, Dissertations, and Problem Reports (ETD) (5)
- College of Graduate Studies: Theses & Dissertations (4)
- Electrical & Computer Engineering Faculty Research (4)
- Electrical and Computer Engineering Faculty Publications (4)
- Fuels Campaign (TRP) (4)
- Chemical Engineering and Materials Science Faculty Research Publications (3)
- LSU Master's Theses (3)
- Mechanical Engineering (3)
- All Theses (2)
- Branch Mathematics and Statistics Faculty and Staff Publications (2)
- Conference Papers (2)
- Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research (2)
- Doctoral Dissertations and Master's Theses (2)
- Honors Scholar Theses (2)
- Honors Theses (2)
- Theses and Dissertations--Mechanical and Aerospace Engineering (2)
- 2017 Academic High Altitude Conference (1)
- 2023 Symposium (1)
- All Undergraduate Projects (1)
- Beyond: Undergraduate Research Journal (1)
- Publication Type
- File Type
Articles 91 - 120 of 200
Full-Text Articles in Controls and Control Theory
Formation Control With Bounded Controls And Collision Avoidance: Theory And Application To Quadrotor Unmanned Air Vehicles, Zachary S. Lippay
Formation Control With Bounded Controls And Collision Avoidance: Theory And Application To Quadrotor Unmanned Air Vehicles, Zachary S. Lippay
Theses and Dissertations--Mechanical and Aerospace Engineering
This dissertation presents new results on multi-agent formation control and applies the new control algorithms to quadrotor unmanned air vehicles. First, this dissertation presents a formation control algorithm for double-integrator agents, where the formation is time varying and the agents’ controls satisfy a priori bounds (e.g., the controls accommodate actuator saturation). The main analytic results provide sufficient conditions such that all agents converge to the desired time-varying relative positions with one another and the leader, and have a priori bounded controls (if applicable). We also present results from rotorcraft experiments that demonstrate the algorithm with time-varying formations and bounded controls. …
Learning Robot Motion From Creative Human Demonstration, Charles C. Dietzel
Learning Robot Motion From Creative Human Demonstration, Charles C. Dietzel
Theses and Dissertations
This thesis presents a learning from demonstration framework that enables a robot to learn and perform creative motions from human demonstrations in real-time. In order to satisfy all of the functional requirements for the framework, the developed technique is comprised of two modular components, which integrate together to provide the desired functionality. The first component, called Dancing from Demonstration (DfD), is a kinesthetic learning from demonstration technique. This technique is capable of playing back newly learned motions in real-time, as well as combining multiple learned motions together in a configurable way, either to reduce trajectory error or to generate entirely …
Magic: The Gathering Card Virtualizer, Vincent Garbonick, Jacen C. Conlan, Jaret A. Varn
Magic: The Gathering Card Virtualizer, Vincent Garbonick, Jacen C. Conlan, Jaret A. Varn
Williams Honors College, Honors Research Projects
Any well-versed Magic: The Gathering (MTG) player or collector knows how difficult it can be to keep track of all cards in their collection. Some spend hours searching for that one specific card, and others are constantly scouring the internet for how much their collection costs. However, this issue does not only affect casual fans. Resale companies spend hours a day determining the costs of cards, and tournament judges painstakingly check players’ decks to ensure they are not cheating. To assist with these struggles, the design team proposed to create the MTG Card Virtualizer. This device scans MTG playing cards …
Performance Of Sensor Fusion For Vehicular Applications, Nikola Janevski
Performance Of Sensor Fusion For Vehicular Applications, Nikola Janevski
Graduate Theses, Dissertations, and Problem Reports (ETD)
Sensor fusion is a key system in Advanced Driver Assistance Systems, ADAS. The perfor-
mance of the sensor fusion depends on many factors such as the sensors used, the kinematic
model used in the Extended Kalman Filter, EKF, the motion of the vehicles, the type of
road, the density of vehicles, and the gating methods. The interactions between parameters
and the extent to which individual parameters contribute to the overall accuracy of a sensor
fusion system can be difficult to assess.
In this study, a full-factorial experimental evaluation of a sensor fusion system based
on a real vehicle was performed. …
Collaborative Human-Machine Interfaces For Mobile Manipulators., Shamsudeen Olawale Abubakar
Collaborative Human-Machine Interfaces For Mobile Manipulators., Shamsudeen Olawale Abubakar
Electronic Theses and Dissertations
The use of mobile manipulators in service industries as both agents in physical Human Robot Interaction (pHRI) and for social interactions has been on the increase in recent times due to necessities like compensating for workforce shortages and enabling safer and more efficient operations amongst other reasons. Collaborative robots, or co-bots, are robots that are developed for use with human interaction through direct contact or close proximity in a shared space with the human users. The work presented in this dissertation focuses on the design, implementation and analysis of components for the next-generation collaborative human machine interfaces (CHMI) needed for …
Evaluating Testing Procedures For Openflow Controller Network Re-Provisioning Time, Steven J. Jensen
Evaluating Testing Procedures For Openflow Controller Network Re-Provisioning Time, Steven J. Jensen
Theses and Dissertations
Software-Defined Networking promises several advantages over traditional networking architectures, but has seen little adoption. Recently codified controller evaluation methodologies have seen little validation without strong statistical analysis of the results. The research developed an environment testing implementing a published Network Re-provisioning Time methodology to evaluate five OpenFlow controllers. The methodology is strong with required parameters but had issues with some edge cases. Further refinement and adding a convergence metric may close the gaps.
Data Forgery Detection In Automatic Generation Control: Exploration Of Automated Parameter Generation And Low-Rate Attacks, Yatish R. Dubasi
Data Forgery Detection In Automatic Generation Control: Exploration Of Automated Parameter Generation And Low-Rate Attacks, Yatish R. Dubasi
Computer Science and Computer Engineering Undergraduate Honors Theses
Automatic Generation Control (AGC) is a key control system utilized in electric power systems. AGC uses frequency and tie-line power flow measurements to determine the Area Control Error (ACE). ACE is then used by the AGC to adjust power generation and maintain an acceptable power system frequency. Attackers might inject false frequency and/or tie-line power flow measurements to mislead AGC into falsely adjusting power generation, which can harm power system operations. Various data forgery detection models are studied in this thesis. First, to make the use of predictive detection models easier for users, we propose a method for automated generation …
A Study Of Deep Reinforcement Learning In Autonomous Racing Using Deepracer Car, Mukesh Ghimire
A Study Of Deep Reinforcement Learning In Autonomous Racing Using Deepracer Car, Mukesh Ghimire
Honors Theses
Reinforcement learning is thought to be a promising branch of machine learning that has the potential to help us develop an Artificial General Intelligence (AGI) machine. Among the machine learning algorithms, primarily, supervised, semi supervised, unsupervised and reinforcement learning, reinforcement learning is different in a sense that it explores the environment without prior knowledge, and determines the optimal action. This study attempts to understand the concept behind reinforcement learning, the mathematics behind it and see it in action by deploying the trained model in Amazon's DeepRacer car. DeepRacer, a 1/18th scaled autonomous car, is the agent which is trained …
Path Planning With Deep Neural Networks, Paul Simmerling, Brendan Sayers, Paulo Alcantara Silva
Path Planning With Deep Neural Networks, Paul Simmerling, Brendan Sayers, Paulo Alcantara Silva
Honors Scholar Theses
This report will cover the work and plans of the ECE 2107 Senior design team. The goal of the project is to design and build a fully autonomous self-driving car. This car will have a complete sensor suite including LIDAR, an IMU, a camera, and encoders. It will be based on a multi-level system where the highest level uses a neural network for advanced signal processing and analysis. The current state of the project is discussed as well as the final results. Project management and other constraints will be briefly investigated. This team is building a self driving car testbed …
Distance-Based Formation Control Using Decentralized Sensing With Infrared Photodiodes, Steven Williams
Distance-Based Formation Control Using Decentralized Sensing With Infrared Photodiodes, Steven Williams
LSU Master's Theses
This study presents an onboard sensor system for determining the relative positions of mobile robots, which is used in decentralized distance-based formation controllers for multi-agent systems. This sensor system uses infrared photodiodes and LEDs; its effective use requires coordination between the emitting and detecting robots. A technique is introduced for calculating the relative positions based on photodiode readings, and an automated calibration system is designed for future maintenance. By measuring the relative positions of their neighbors, each robot is capable of running an onboard formation controller, which is independent of both a centralized controller and a global positioning-like system (e.g., …
A General Framework For Characterizing And Evaluating Attacker Models For Cps Security Assessment, Christopher S. Deloglos, Christopher Deloglos
A General Framework For Characterizing And Evaluating Attacker Models For Cps Security Assessment, Christopher S. Deloglos, Christopher Deloglos
Theses and Dissertations
Characterizing the attacker’s perspective is essential to assessing the security posture and resilience of cyber-physical systems. The attacker’s perspective is most often achieved by cyber-security experts (e.g., red teams) who critically challenge and analyze the system from an adversarial stance. Unfortunately, the knowledge and experience of cyber-security experts can be inconsistent leading to situations where there are gaps in the security assessment of a given system. Structured security review processes (such as TAM, Mission Aware, STPA-SEC, and STPA-SafeSec) attempt to standardize the review processes to impart consistency across an organization or application domain. However, with most security review processes, the …
Integration Of Robotic And Electro-Pneumatic Systems Using Advanced Control And Communication Schemes, Chinmay Kondekar
Integration Of Robotic And Electro-Pneumatic Systems Using Advanced Control And Communication Schemes, Chinmay Kondekar
Dissertations, Master's Theses and Master's Reports
Modern industrial automation systems are designed by interconnecting various subsystems which work together to perform a process. The thesis project aims to integrate fragmented subsystems into a flexible and reconfigurable system through advanced communication protocols and perform a process to demonstrate the effectiveness of interconnected systems.
The system consists of three six-axis robots, one electro-pneumatic robot, and two conveyors connected using EthernetIP communication and hardwired connections. The interconnected system works together to perform machining of a workpiece using advanced control methods of CAD to robot path generation, central control through a PLC, and process control through HMI.
Standardized programming blocks …
Light Loaded Automated Guided Vehicle, Marcus Radtka, Nazar Paramashchuk, Lawrence Shevock
Light Loaded Automated Guided Vehicle, Marcus Radtka, Nazar Paramashchuk, Lawrence Shevock
Williams Honors College, Honors Research Projects
The objective of the locomotion system was to design and implement the mechanical, electrical, and software related functions to ensure the LLAGV had the capability of maneuvering its surroundings. The LLAGV’s motors were represented in an open loop transfer function to utilize RPM feedback and a compensator when needed. The modeled compensator helped control the LLAGV’s speed and acceleration, enabling further control of the LLAGV. The internal circuitry has the means to properly distributed power to all components and allowed the user to control the LLAGV to their desire. The application software within the LLAGV locomotion system (LLAGV-LS) had consideration …
Mitigating Insider Threats In A Cooperative Adaptive Cruise Control System Using Local Intra-Vehicle Data, Alexander Francis Colon
Mitigating Insider Threats In A Cooperative Adaptive Cruise Control System Using Local Intra-Vehicle Data, Alexander Francis Colon
Graduate Theses, Dissertations, and Problem Reports (ETD)
With the rise of Connected-and-Automated-Vehicle (CAV) technologies on roadways, transportation networks have become increasingly connected through Vehicle-to-Everything (V2X) systems. With access to the additional data from V2X, modern cruise control systems like Adaptive Cruise Control (ACC) are further improved upon to develop systems like Cooperative ACC (CACC) which reduces traffic congestion and increases driver safety and energy efficiency. With that increased connectivity, previously closed vehicle systems are now vulnerable to new security threats which pose new technical challenges. Significant research has been done to strengthen the network against external threats such as denial-of-service attacks (DoS) or passive eavesdropping attacks using …
A Study Of Static And Dynamic Characteristics Of Multifunctional Signal Converters, Akmal Abdumalikov
A Study Of Static And Dynamic Characteristics Of Multifunctional Signal Converters, Akmal Abdumalikov
Chemical Technology, Control and Management
The issues of continuity, accuracy, speed and reliability of signal conversion, which are the main problems of quality control and management of production processes, remain relevant. Research shows that in practice there are different signal variables, the study of which is highly formalized in a number of modeling tasks and basic classification studies, in particular transients in converters, its sources and elements requires a unified mathematical approach, that is, visual, highly formalized modeling and research based on it. The paper presents a graph model of multifunctional signal converters that provide microprocessor and electronic devices with signals in the form of …
Artificial Intelligence And Game Theory Controlled Autonomous Uav Swarms, Janusz Kusyk, M. Umit Uyar, Kelvin Ma, Eltan Samoylov, Ricardo Valdez, Joseph Plishka, Sagor E. Hoque, Giorgio Bertoli, Jefrey Boksiner
Artificial Intelligence And Game Theory Controlled Autonomous Uav Swarms, Janusz Kusyk, M. Umit Uyar, Kelvin Ma, Eltan Samoylov, Ricardo Valdez, Joseph Plishka, Sagor E. Hoque, Giorgio Bertoli, Jefrey Boksiner
Publications and Research
Autonomous unmanned aerial vehicles (UAVs) operating as a swarm can be deployed in austere environments, where cyber electromagnetic activities often require speedy and dynamic adjustments to swarm operations. Use of central controllers, UAV synchronization mechanisms or pre-planned set of actions to control a swarm in such deployments would hinder its ability to deliver expected services. We introduce artificial intelligence and game theory based flight control algorithms to be run by each autonomous UAV to determine its actions in near real-time, while relying only on local spatial, temporal and electromagnetic (EM) information. Each UAV using our flight control algorithms positions itself …
Analysis Of Information Security Methods In Biosystems And Application Of Intelligent Tools In Information Security Systems, Sherzod Sayfullaev
Analysis Of Information Security Methods In Biosystems And Application Of Intelligent Tools In Information Security Systems, Sherzod Sayfullaev
Chemical Technology, Control and Management
In this paper, the methods of information protection in bio systems are studied. The paper considers the use of intelligent tools in information security systems and the use of adaptive information security systems. Several articles on the field of information protection in bio systems are analyzed. Disadvantages and advantages of neural network technologies in modern information security systems are described. The characteristics of bio systems and the specificity of DNA, the main features of the DNA code that provide information security and functional stability of bio systems data protection structure. Application of intelligent tools to create a comprehensive adaptive protection …
Evaluating Driving Performance Of A Novel Behavior Planning Model On Connected Autonomous Vehicles, Keyur Shah
Evaluating Driving Performance Of A Novel Behavior Planning Model On Connected Autonomous Vehicles, Keyur Shah
Honors Scholar Theses
Many current algorithms and approaches in autonomous driving attempt to solve the "trajectory generation" or "trajectory following” problems: given a target behavior (e.g. stay in the current lane at the speed limit or change lane), what trajectory should the vehicle follow, and what inputs should the driving agent apply to the throttle and brake to achieve this trajectory? In this work, we instead focus on the “behavior planning” problem—specifically, should an autonomous vehicle change lane or keep lane given the current state of the system?
In addition, current theory mainly focuses on single-vehicle systems, where vehicles do not communicate with …
Tech Comm Eagle Eye-Tracking Control System, Gabiella Lail, Robert Shaw, Hunter Smatla, Matthew Gary
Tech Comm Eagle Eye-Tracking Control System, Gabiella Lail, Robert Shaw, Hunter Smatla, Matthew Gary
Discovery Day - Prescott
Mobile eye-tracking systems provide usability research support as well as access to a wide range of robotics and technical communication research opportunities. Optical tracking systems are often prohibitively expensive and do not provide the mobility or flexibility needed for a variety of research application possibilities. Our team proposes building a simple mobile eye-tracking system to be used in-house at ERAU for heat-mapping, robotics, control systems, and various technical communication applications in a structured research environment. The mobile eyetracking system will become part of a larger research and hands-on technical communication usability lab and research center. The research team intends to …
Decentralized, Noncooperative Multirobot Path Planning With Sample-Basedplanners, William Le
Decentralized, Noncooperative Multirobot Path Planning With Sample-Basedplanners, William Le
Master's Theses
In this thesis, the viability of decentralized, noncooperative multi-robot path planning algorithms is tested. Three algorithms based on the Batch Informed Trees (BIT*) algorithm are presented. The first of these algorithms combines Optimal Reciprocal Collision Avoidance (ORCA) with BIT*. The second of these algorithms uses BIT* to create a path which the robots then follow using an artificial potential field (APF) method. The final algorithm is a version of BIT* that supports replanning. While none of these algorithms take advantage of sharing information between the robots, the algorithms are able to guide the robots to their desired goals, with the …
Techniques To Solve Decision-Making Problems, Dilnoz Tulkunovna Muhamediyeva, Bekmuratov Fayzievich Tulkun
Techniques To Solve Decision-Making Problems, Dilnoz Tulkunovna Muhamediyeva, Bekmuratov Fayzievich Tulkun
Chemical Technology, Control and Management
Solving decision-making problems in poorly formalized systems only with the help of deterministic and probabilistic methods is insufficient. To do this, it is necessary to widely apply the methods of hybrid intelligent systems and, especially, the methods of “soft” calculations (SoftCalculation, SoftComputing) and the directions of ComputationalIntelligence — intelligent computing technologies that are emerging on this theoretical and methodological base. An immune - fuzzy algorithm for the synthesis of fuzzy inference systems (FIS) is proposed. A two-stage adaptive FIS synthesis algorithm is described. At the first stage, the initial fuzzy parameters are clustered in order to reduce the number of …
Dual-Axis Solar Tracker, Bryan Kennedy
Dual-Axis Solar Tracker, Bryan Kennedy
All Undergraduate Projects
Renewable energies, and fuels that are not fossil fuel-based, are one of the prolific topics of debate in modern society. With climate change now becoming a primary focus for scientists and innovators of today, one of the areas for the largest amount of potential and growth is that of the capturing and utilization of Solar Energy. This method involves using a mechanical system to track the progression of the sun as it traverses the sky throughout the day. A dual-axis solar tracker such as the one designed and built for this project, can follow the sun both azimuthally and in …
Digital, Automated Reactive Target System, Nicholas Haas, Saipranay Vellala, Trandon Ware, Thomas Martin
Digital, Automated Reactive Target System, Nicholas Haas, Saipranay Vellala, Trandon Ware, Thomas Martin
Williams Honors College, Honors Research Projects
In this era, technology is woven into almost every facet of our leisure activities. Although technology has innovated hobbies ranging from chess to soccer, the art of shooting has been neglected. Unnecessary insufficiency such as bullet ricochets off of mechanical steel targets, ineffective progress tracking, and general inaccessibility to outdoor training facilities are all improvable areas of this sport. The Dynamic Automated Reactive Target (D.A.R.T) System aims to fill some of these gaps and help modernize recreational marksmanship. Modeling the system after a dueling tree will optimize the use of the system and allow for different training models to challenge …
Tabletop Mechanical Tester, Jamie Dombroski, Brian English, Richard Leffler, Andrew Shirk
Tabletop Mechanical Tester, Jamie Dombroski, Brian English, Richard Leffler, Andrew Shirk
Williams Honors College, Honors Research Projects
The need for hands-on and face-to-face experiences in the engineering classroom is very great. The equations, principles, and concepts can all be learned, but without the visual and tactile application, these don’t always sink in or become concrete. A small-scale tensile test machine was designed, sourced, manufactured, and tested for the purpose of being applied in classroom settings to provide this experience to engineering students. Extensive research was performed concerning tensile machines on the market, the essential elements of which are the load cell, grips, crosshead, extensometer, motor, and frame. The raw materials for the frame were purchased and drawings …
Bitcoin Price Prediction Using Neural Networks, Vladislav Killiakov
Bitcoin Price Prediction Using Neural Networks, Vladislav Killiakov
Electrical Engineering
In this project, I will investigate the performance of several major neural network architectures for the task of Bitcoin price prediction. Bitcoin is a cryptocurrency that is recently becoming increasingly more popular, and more widely adopted as a financial instrument. As a result, more efforts have been made in the past several years to model and predict its price. However, to this moment a large portion of work on Bitcoin price modeling was done using statistical or classical machine learning techniques. At the same time, other artificial intelligence based prediction techniques, and specifically neural networks, have not been explored to …
A Multi-Agent Systems Approach For Analysis Of Stepping Stone Attacks, Marco Antonio Gamarra
A Multi-Agent Systems Approach For Analysis Of Stepping Stone Attacks, Marco Antonio Gamarra
Electrical & Computer Engineering Theses & Dissertations
Stepping stone attacks are one of the most sophisticated cyber-attacks, in which attackers make a chain of compromised hosts to reach a victim target. In this Dissertation, an analytic model with Multi-Agent systems approach has been proposed to analyze the propagation of stepping stones attacks in dynamic vulnerability graphs. Because the vulnerability configuration in a network is inherently dynamic, in this Dissertation a biased min-consensus technique for dynamic graphs with fixed and switching topology is proposed as a distributed technique to calculate the most vulnerable path for stepping stones attacks in dynamic vulnerability graphs. We use min-plus algebra to analyze …
An Application Of Sliding Mode Control To Model-Based Reinforcement Learning, Aaron Thomas Parisi
An Application Of Sliding Mode Control To Model-Based Reinforcement Learning, Aaron Thomas Parisi
Master's Theses
The state-of-art model-free reinforcement learning algorithms can generate admissible controls for complicated systems with no prior knowledge of the system dynamics, so long as sufficient (oftentimes millions) of samples are available from the environ- ment. On the other hand, model-based reinforcement learning approaches seek to leverage known optimal or robust control to reinforcement learning tasks by mod- elling the system dynamics and applying well established control algorithms to the system model. Sliding-mode controllers are robust to system disturbance and modelling errors, and have been widely used for high-order nonlinear system control. This thesis studies the application of sliding mode control …
Utilizing Trajectory Optimization In The Training Of Neural Network Controllers, Nicholas Kimball
Utilizing Trajectory Optimization In The Training Of Neural Network Controllers, Nicholas Kimball
Master's Theses
Applying reinforcement learning to control systems enables the use of machine learning to develop elegant and efficient control laws. Coupled with the representational power of neural networks, reinforcement learning algorithms can learn complex policies that can be difficult to emulate using traditional control system design approaches. In this thesis, three different model-free reinforcement learning algorithms, including Monte Carlo Control, REINFORCE with baseline, and Guided Policy Search are compared in simulated, continuous action-space environments. The results show that the Guided Policy Search algorithm is able to learn a desired control policy much faster than the other algorithms. In the inverted pendulum …
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 …
Nonlinear Observer For Visual-Inertial Navigation Using Intermittent Landmark Measurements, Miaomiao Wang
Nonlinear Observer For Visual-Inertial Navigation Using Intermittent Landmark Measurements, Miaomiao Wang
Western Research Forum
The development of reliable orientation, position and linear velocity estimation algorithms for the 3D visual-inertial navigation system (VINS) is instrumental in many applications, such as autonomous underwater vehicles (AUVs), and unmanned aerial vehicles (UAVs). It is extremely important when the global position system (GPS) is not available in GPS-denied environments. Recently, observers design for VINS using landmark position measurements from Kinect sensors or stereo cameras has been increasingly investigated in the literature.
The aim of this work is to design a nonlinear observer for VINS under the assumption that landmark position measurements are intermittent. In practice, the landmark measurements are …