NSF funds K-State research on artificial intelligence-based cyber-physical systems

MANHATTAN, Kan. (WIBW) - The National Science Foundation is funding a K-State professor's research on artificial intelligence-based cyber-physical systems. Kansas State University says Pavithra Prabhakar, an associate professor and Peggy and Gary Edwards chair in engineering in its computer science department, has been awarded $450,000 from the National Science Foundation to work on artificial intelligence-based controllers in the 3-year long project titled, "Scalable Formal Verification of ANN Controlled Cyber-Physical Systems." According to K-State, artificial intelligence-based controllers are increasingly used for modern-day cyber-physical and autonomous systems like driverless cars. It said these systems have been called on to perform sophisticated functions and operate in dynamic environments. It said the use of such controllers in driverless cars is highly safety-critical, where the vehicle is expected to not only stay in the right lane but avoid accidents with other cars and pedestrians crossing roadways under different lighting conditions.