付記する学位プログラム名: デザイン学大学院連携プログラム / 京都大学 / 0048 / 新制・課程博士 / 博士(工学) / 甲第21761号 / 工博第4578号 / 新制||工||1713(附属図書館) / 京都大学大学院工学研究科航空宇宙工学専攻 / (主査)教授 藤本 健治, 教授 泉田 啓, 教授 太田 快人 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DGAM

No description available.

There are many applications for which small unmanned aerial vehicles (SUAVs) are well suited, including surveillance, reconnaissance, search and rescue, convoy support, and short-range low-altitude perimeter patrol missions. As technologies for microcontrollers and small sensors have improved, so have the capabilities of SUAVs. These improvements in SUAV performance increase the possibility for hazardous missions through mountainous and urban terrain in the successful completion of many of these missions. The focus of this research was on remote terrain navigation and the issues faced when dealing with limited onboard processing and limited payload and power capabilities. Additional challenges associated with canyon and urban navigation missions included reactive path following, sensor noise, and flight test design and execution. The main challenge was for an SUAV to successfully navigate through a mountainous canyon by reactively altering its own preplanned path to avoid canyon walls and other stationary obstacles. A robust path following method for SUAVs that uses a vector field approach to track functionally curved paths is presented along with flight test results. In these results, the average tracking error for an SUAV following a variety of curved paths is 3.4~m for amplitudes ranging between 10 and 100~m and spatial periods between 125 and 500~m. Additionally, a reactive path following method is presented that allows a UAV to continually offset or bias its planned path as distance information from the left and right ranging sensors is computed. This allows the UAV to to center itself between potential hazards even with imperfect waypoint path planning. Flight results of an SUAV reactively navigating through mountainous canyons experimentally verify the feasibility of this approach. In a flight test through Goshen Canyon in central Utah, an SUAV biased its planned path by 3 to 10~m to the right as it flew to center itself through the canyon and avoid the possibility of crashing into a canyon wall.

In this thesis we develop methods that facilitate an aerial rendezvous between two air vehicles. The objective of this research is to produce a method that can be used to insert a miniature air vehicle behind a rendezvous vehicle and then track that vehicle to enable a visual rendezvous. For this research we assume the rendezvous vehicle is following a relatively stable and roughly elliptical orbit. Path planners and controllers have been developed that can be used to effectively intercept the rendezvous vehicle by inserting the MAV onto the orbit of interest. A method for planning and following time-optimal Dubins airplane interception paths between a miniature air vehicle and the rendezvous vehicle is presented. We demonstrate how a vector field path following a scheme can be used for navigation along these time-optimal Dubins airplane paths. A post-orbit insertion tracking method is also presented which can be used to track the target vehicle on an arbitrarily oriented elliptical orbit while maintaining a specified following distance. We also present controllers that can be used for disturbance rejection during the orbit-insertion and interception operations. All of these methods were implemented in simulation and with hardware. Results from these implementations are presented and analyzed.

The focus of this dissertation is on developing novel methods and extending existing ones to improve the security and reliability of fixed-wing unmanned aircraft systems (UAS). Specifically, we focus on three strands of work: i) designing UAS controllers with performance guarantees using the robust control framework, ii) developing tools for detection and mitigation of physical-layer security threats in UAS, and iii) extending tools from compositional verification to design and verify complex systems such as UAS. Under the first category, we use the robust H-infinity control approach to design a linear parameter-varying (LPV) path-following controller for a fixed-wing UAS that enables the aircraft to follow any arbitrary planar curvature-bounded path under significant environmental disturbances. Three other typical path-following controllers, namely, a linear time-invariant H-infinity controller, a nonlinear rate-tracking controller, and a PID controller, are also designed. We study the relative merits and limitations of each approach and demonstrate through extensive simulations and flight tests that the LPV controller has the most consistent position tracking performance for a wide array of geometric paths. Next, convex synthesis conditions are developed for control of distributed systems with uncertain initial conditions, whereby independent norm constraints are placed on the disturbance input and the uncertain initial state. Using this approach, we design a distributed controller for a network of three fixed-wing UAS and demonstrate the improvement in the transient response of the network when switching between different trajectories. Pertaining to the second strand of this dissertation, we develop tools for detection and mitigation of security threats to the sensors and actuators of UAS. First, a probabilistic framework that employs tools from statistical analysis to detect sensor attacks on UAS is proposed. By incorporating knowledge about the physical system and using a Bayesian network, the proposed approach minimizes the false alarm rates, which is a major challenge for UAS that operate in dynamic and uncertain environments. Next, the security vulnerabilities of existing UAS actuators are identified and three different methods of differing complexity and effectiveness are proposed to detect and mitigate the security threats. While two of these methods involve developing algorithms and do not require any hardware modification, the third method entails hardware modifications to the actuators to make them resilient to malicious attacks. The three methods are compared in terms of different attributes such as computational demand and detection latency. As for the third strand of this dissertation, tools from formal methods such as compositional verification are used to design an unmanned multi-aircraft system that is deployed in a geofencing application, where the design objective is to guarantee a critical global system property. Verifying such a property for the multi-aircraft system using monolithic (system-level) verification techniques is a challenging task due to the complexity of the components and the interactions among them. To overcome these challenges, we design the components of the multi-aircraft system to have a modular architecture, thereby enabling the use of component-based reasoning to simplify the task of verifying the global system property. For component properties that can be formally verified, we employ results from Euclidean geometry and formal methods to prove those properties. For properties that are difficult to be formally verified, we rely on Monte Carlo simulations. We demonstrate how compositional reasoning is effective in reducing the use of simulations/tests needed in the verification process, thereby increasing the reliability of the unmanned multi-aircraft system. / Doctor of Philosophy / Given the safety-critical nature of many unmanned aircraft systems (UAS), it is crucial for stake holders to ensure that UAS when deployed behave as intended despite atmospheric disturbances, system uncertainties, and malicious adversaries. To this end, this dissertation deals with developing novel methods and extending existing ones to improve the security and reliability of fixed-wing UAS. Specifically, we focus on three key areas: i) designing UAS controllers with performance guarantees, ii) developing tools for detection and mitigation of security threats to sensors and actuators of UAS, and iii) extending tools from compositional verification to design and verify complex systems such as UAS. Pertaining to the first area, we design controllers for UAS that would enable the aircraft to follow any arbitrary planar curvature-bounded path under significant atmospheric disturbances. Four different controllers of differing complexity and effectiveness are designed, and their relative merits and limitations are demonstrated through extensive simulations and flight tests. Next, we develop control design tools to improve the transient response of multi-mission UAS networks. Using these tools, we design a controller for a network of three fixed-wing UAS and demonstrate the improvement in the transient response of the network when switching between different trajectories. As for the contributions in the second area, we develop tools for detection and mitigation of security threats to the sensors and actuators of UAS. First, we propose a framework for detecting sensor attacks on UAS. By judiciously using knowledge about the physical system and techniques from statistical analysis, the framework minimizes the false alarm rates, which is a major challenge in designing attack detection systems for UAS. Then, we focus on another important attack surface of the UAS, namely, the actuators. Here, we identify the security vulnerabilities of existing UAS actuators and propose three different methods to detect and mitigate the security threats. The three methods are compared in terms of different attributes such as computational demand, detection latency, need for hardware modifications, etc. In regard to the contributions in the third area, tools from compositional verification are used to design an unmanned multi-aircraft system that is tasked to track and compromise an aerial encroacher, wherein the multi-aircraft system is required to satisfy a global system property pertaining to collision avoidance and close tracking. A common approach to verifying global properties of systems is monolithic verification where the whole system is analyzed. However, such an approach becomes intractable for complex systems like the multi-aircraft system considered in this work. We overcome this difficulty by employing the compositional verification approach, whereby the problem of verifying the global system property is reduced to a problem of reasoning about the system’s components. That being said, even formally verifying some component properties can be a formidable task; in such cases, one has to rely on Monte Carlo simulations. By suitably designing the components of the multi-aircraft system to have a modular architecture, we show how one can perform focused component-level simulations rather than conduct simulations on the whole system, thereby limiting the use of simulations during the verification process and, as a result, increasing the reliability of the system.

This thesis describes the current state of development of the Flexible Low-cost Automated Scaled Highway (FLASH) laboratory at the Virginia Tech Transportation Institute (VTTI). The FLASH lab and the scale model cars contained therein provide a testbed for the small scale development stage of intelligent transportation systems (ITS). In addition, the FLASH lab serves as a home to the prototype display being developed for an educational museum exhibit. This thesis also gives details of the path following lateral controller implemented on the FLASH car. The controller was developed using the kinematic model for a wheeled robot. The global model is converted into the path coordinate model so that only local variables are needed. then the path coordinate model is converted into chained form and a controller is given to perform path following. The path coordinate model introduces a new parameter to the system: the curvature of the path. Thus, it is necessary to provide the path's curvature value to the controller. Because of the environment in which the car is operating, the curvature values are known a priori. Several online methods for determining the curvature are developed. A MATLAB simulation environment was created with which to test the above algorithms. The simulation uses the kinematic model to show the car's behavior and implements the sensors and controller as closely as possible to the actual system. The implementation of the lateral controller in hardware is discussed. The vehicle platform is described and the harware and software architecture detailed. The car described is capable of operating manually and autonomously. In autonomous mode, several sensors are utilized including: infrared, magnetic, ultrasound, and image based technology. The operation of each sensor type is described and the information received by the processor from each is discussed. / Master of Science

The navigation and control of an autonomous vehicle is a highly complex task. Making a vehicle intelligent and able to operate "unmanned" requires extensive theoretical as well as practical knowledge. An autonomous vehicle must be able to make decisions and respond to situations completely on its own. Navigation and control serves as the major limitation of the overall performance, accuracy and robustness of an autonomous vehicle. This thesis will address this problem and propose a unique navigation and control scheme for an autonomous lawn mower (ALM). Navigation is a key aspect when designing an autonomous vehicle. An autonomous vehicle must be able to sense its location, navigate its way toward its destination, and avoid obstacles it encounters. Since this thesis attempts to automate the lawn mowing process, it will present a navigational algorithm that covers a bounded region in a systematic way, while avoiding obstacles. This algorithm has many applications including search and rescue, floor cleaning, and lawn mowing. Furthermore, the robustness and utility of this algorithm is demonstrated in a 3D simulation. This thesis will specifically study the dynamics of a two-wheeled differential drive vehicle. Using this dynamic model, various control techniques can then be applied to control the movement of the vehicle. This thesis will consider both open loop and closed loop control schemes. Optimal control, path following, and trajectory tracking are all considered, simulated, and evaluated as practical solutions for control of an ALM. To design and build an autonomous vehicle requires the integration of many sensors, actuators, and controllers. Software serves as the glue to fuse all these devices together. This thesis will suggest various sensors and actuators that could be used to physically implement an ALM. This thesis will also describe the operation of each sensor and actuator, present the software used to control the system, and discuss physical limitations and constraints that might be encountered while building an ALM. / Master of Science

The main contributions of this work are applications of robust control and analysis methods to complex engineering systems, namely, small fixed-wing unmanned aircraft systems (UAS). Multiple path-following controllers for a small fixed-wing Telemaster UAS are presented, including a linear parameter-varying (LPV) controller scheduled over path curvature. The controllers are synthesized based on a lumped path-following and UAS dynamic system, effectively combining the six degree-of-freedom aircraft dynamics with established parallel transport frame virtual vehicle dynamics. The robustness and performance of these controllers are tested in a rigorous MATLAB simulation environment that includes steady winds, turbulence, measurement noise, and delays. After being synthesized off-line, the controllers allow the aircraft to follow prescribed geometrically defined paths bounded by a maximum curvature. The controllers presented within are found to be robust to the disturbances and uncertainties in the simulation environment. A robust analysis framework for mathematical validation of flight control systems is also presented. The framework is specifically developed for the complete uncertainty characterization, quantification, and analysis of small fixed-wing UAS. The analytical approach presented within is based on integral quadratic constraint (IQC) analysis methods and uses linear fractional transformations (LFTs) on uncertainties to represent system models. The IQC approach can handle a wide range of uncertainties, including static and dynamic, linear time-invariant and linear time-varying perturbations. While IQC-based uncertainty analysis has a sound theoretical foundation, it has thus far mostly been applied to academic examples, and there are major challenges when it comes to applying this approach to complex engineering systems, such as UAS. The difficulty mainly lies in appropriately characterizing and quantifying the uncertainties such that the resulting uncertain model is representative of the physical system without being overly conservative, and the associated computational problem is tractable. These challenges are addressed by applying IQC-based analysis tools to analyze the robustness of the Telemaster UAS flight control system. Specifically, uncertainties are characterized and quantified based on mathematical models and flight test data obtained in house for the Telemaster platform and custom autopilot. IQC-based analysis is performed on several time-invariant H∞ controllers along with various sets of uncertainties aimed at providing valuable information for use in controller analysis, controller synthesis, and comparison of multiple controllers. The proposed framework is also transferable to other fixed-wing UAS platforms, effectively taking IQC-based analysis beyond academic examples to practical application in UAS control design and airworthiness certification. IQC-based analysis problems are traditionally solved using convex optimization techniques, which can be slow and memory intensive for large problems. An oracle for discrete-time IQC analysis problems is presented to facilitate the use of a cutting plane algorithm in lieu of convex optimization in order to solve large uncertainty analysis problems relatively quickly, and with reasonable computational effort. The oracle is reformulated to a skew-Hamiltonian/Hamiltonian eigenvalue problem in order to improve the robustness of eigenvalue calculations by eliminating unnecessary matrix multiplications and inverses. Furthermore, fast, structure exploiting eigensolvers can be employed with the skew-Hamiltonian/Hamiltonian oracle to accurately determine critical frequencies when solving IQC problems. Applicable solution algorithms utilizing the IQC oracle are briefly presented, and an example shows that these algorithms can solve large problems significantly faster than convex optimization techniques. Finally, a large complex engineering system is analyzed using the oracle and a cutting-plane algorithm. Analysis of the same system using the same computer hardware failed when employing convex optimization techniques. / Ph. D.

The objective of this thesis is to analyze the kinematics of a mobile parallel robot with contribution that pertain to the singularity analysis, the optimization of geometric parameters and the optimal control to avoid singularities when navigating across singular geometric configurations. The analysis of the workspace and singularities is performed in a prescribed reference workspace regions using discretization method. Serial and parallel singularities are analytically analyzed and all possible singular configurations are presented. Kinematic conditioning index is used to determine the robot’s proximity to a singular configuration. A method for the determination of a continuous and singularity-free workspace is detailed. The geometric parameters of the system are optimized in various types of pipe-like structures with respect to a suitable singularity index, in order to avoid singularities during the navigation across elbows. The optimization problem is formulated with an objective to maximize the reachable workspace and minimize the singularities. The objective function is also subjected to constraints such as collision avoidance, singularity avoidance, workspace continuity and contact constraints imposed between the boundaries and the wheels of the robot. A parametric variation method is used as a technique to optimize the design parameters. The optimal design parameters found are normalized with respect to the width of the pipe-like structures and therefore the results are generalized to be used in the development phase of the robot. An optimal control to generate singularity-free trajectories when the robotic device has to cross a geometric singularity in a sharp 90◦ elbow is proposed. Such geometric singularity inherently leads to singularities in the Jacobian of the system, and therefore a modified device with augmented number of degrees of freedom is introduced to be able to generate non-singular trajectories.

The objective of this thesis is to analyze the kinematics of a mobile parallel robot with contribution that pertain to the singularity analysis, the optimization of geometric parameters and the optimal control to avoid singularities when navigating across singular geometric configurations. The analysis of the workspace and singularities is performed in a prescribed reference workspace regions using discretization method. Serial and parallel singularities are analytically analyzed and all possible singular configurations are presented. Kinematic conditioning index is used to determine the robot’s proximity to a singular configuration. A method for the determination of a continuous and singularity-free workspace is detailed. The geometric parameters of the system are optimized in various types of pipe-like structures with respect to a suitable singularity index, in order to avoid singularities during the navigation across elbows. The optimization problem is formulated with an objective to maximize the reachable workspace and minimize the singularities. The objective function is also subjected to constraints such as collision avoidance, singularity avoidance, workspace continuity and contact constraints imposed between the boundaries and the wheels of the robot. A parametric variation method is used as a technique to optimize the design parameters. The optimal design parameters found are normalized with respect to the width of the pipe-like structures and therefore the results are generalized to be used in the development phase of the robot. An optimal control to generate singularity-free trajectories when the robotic device has to cross a geometric singularity in a sharp 90◦ elbow is proposed. Such geometric singularity inherently leads to singularities in the Jacobian of the system, and therefore a modified device with augmented number of degrees of freedom is introduced to be able to generate non-singular trajectories.