Smooth operator: Control using the smooth robustness of temporal logic
Modern control systems, like controllers for swarms of quadrotors, must satisfy complex
control objectives while withstanding a wide range of disturbances, from bugs in their …
control objectives while withstanding a wide range of disturbances, from bugs in their …
[HTML][HTML] A data-driven approach to modeling high-density terminal areas: a scenario analysis of the new Beijing, China airspace
MZ Li, MS Ryerson - Chinese Journal of Aeronautics, 2017 - Elsevier
Airports are being developed and expanded rapidly in China to accommodate and promote
a growing aviation market. The future Beijing Daxing International Airport (DAX) will serve as …
a growing aviation market. The future Beijing Daxing International Airport (DAX) will serve as …
Visualizing aviation impacts: Modeling current and future flight trajectories with publicly available flight data
MZ Li, DY Suh, MS Ryerson - Transportation research part D: Transport and …, 2018 - Elsevier
As the demand for air travel continues to grow both nationally and internationally, airports
seek airfield expansions and new infrastructure to accommodate new aircraft movements …
seek airfield expansions and new infrastructure to accommodate new aircraft movements …
[PDF][PDF] Technical report: Control using the smooth robustness of temporal logic
Abstract Cyber-Physical Systems must withstand a wide range of errors, from bugs in their
software to attacks on their physical sensors. Given a formal specification of their desired …
software to attacks on their physical sensors. Given a formal specification of their desired …