Skip to content

Ron Picard

Data Science Is A Way Of Life

  • Home
  • About Me – Ron Picard
  • Blog
  • Aviation
    • Private Pilot
  • Mathematics
    • Formal Methods
    • Computer Science
    • Machine Learning
  • Engineering
    • Cyber-Physical Systems
    • Software Verification & Validation
    • Software Engineering
    • Electrical Engineering
    • Machine Learning
  • Projects
    • Vanderbilt University
    • Personal
  • Visit My GitHub Page
  • Visit My LinkedIn Page
  • Subscribe
  • Privacy Policy

Category: Software Verification & Validation

Posted on November 3, 2019February 27, 2023

Formal Methods 101: Induction

Posted on October 21, 2019March 6, 2021

Formal Methods 101: Formal Systems

Posted on October 15, 2019March 6, 2021

Formal Methods 101: Decidability

Posted on October 8, 2019March 6, 2021

Formal Methods 101: Complexity Theory

Posted on October 8, 2019March 6, 2021

Formal Methods 101: Satisfiable Modulo Theories (SMT)

Posted on October 5, 2019March 6, 2021

Formal Methods 101: Boolean Satisfiability (SAT)

Posted on May 3, 2019March 7, 2023

Analysis of N-Queens Stochastic Algorithms Using Probabilistic Model Checking

Posted on May 3, 2019March 7, 2023

Model-Based Design of a Closed-Loop Speed Controller for a Hybrid System

Posted on December 19, 2018March 31, 2021

Aircraft Automated Collision Avoidance

Simulink Scopes Of Aircraft In Flight

Abstract

Aircraft collision avoidance is a pervasive need in this modern
age of flight. We present a 2-D automated collision avoidance flight
controller for automated collision avoidance amongst 2 aircraft.
This controller is designed to satisfy safety and liveness
requirements, implemented using Simulink and Stateflow, and
verified using safety and liveness monitors.

CS6376_AircraftCollisionAvoidance_ProjectReport_RonaldPicardDownload

The Simulink & Stateflow model is available on GitHub here under an MIT License

Newsletter

Recent Posts

  • DOD artificial intelligence agents successfully pilot fighter
  • Autonomous Aircraft Testing Arrives
  • Modified X-62 helps accelerate tactical autonomy development
  • Flew a Super Decathlon Today
  • First Multi-Engine Flight – 1959 Beechcraft (BE95)

Archives

  • February 2023
  • August 2022
  • May 2022
  • February 2022
  • November 2021
  • July 2021
  • May 2021
  • March 2021
  • November 2020
  • November 2019
  • October 2019
  • August 2019
  • May 2019
  • April 2019
  • March 2019
  • January 2019
  • December 2018

Login

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

© Ronald Picard. All Rights Reserved. | Privacy Policy

Proudly powered by WordPress