Airplane and space systems.
forum
Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).
Research areas:
forum
Submitted by Anonymous on Wed, 03/14/2018 - 3:11pm
CALL FOR PAPERS
July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/
Federated Logic Conference (FLoC) 2018
We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Software Verification (NSV 2018).
Important Dates
event
Submitted by Anonymous on Wed, 03/14/2018 - 3:10pm
11th International Workshop on Numerical Software Verification (NSV 2018)
Federated Logic Conference (FLoC) 2018
file
Due to increasing use by civil and federal authorities and vast commercial and amateur applications, Unmanned Aerial Systems (UAS) will be introduced into the National Air Space (NAS); the question is only how we can do this safely. NASA and the FAA are designing a new automated air traffic control system (NextGen) for all aircraft, manned or unmanned. New algorithms and tools need to be developed to enable computation of the complex questions inherent in designing such a system while proving adherence to rigorous safety standards.
file
Our results concern using program-slicing to model software components in a CPS, with applications to verification of aviation software.
