NSF CAREER award supports researcher's cyber-physical systems work

January 25, 2016

MANHATTAN, KANSAS -- The National Science Foundation has issued a CAREER award to a Kansas State University computing and information sciences researcher for her work that can develop better transportation, health care and energy systems.

Pavithra Prabhakar, assistant professor of computing and information sciences, has received a five-year $446,000 CAREER award for her project "Robust Verification of Cyber-Physical Systems."

"Cyber-physical systems are an important part of modern society and they have transformative applications in the transportation, health care and energy sectors," Prabhakar said. "This research will bridge an important gap in the existing methodologies for the analysis of cyber-physical systems through the novel paradigm of robust verification, which will enable the development of high-confidence cyber-physical systems, particularly automotive and aerospace systems."

The National Science Foundation's Faculty Early Career Development Program is one of the foundation's most prestigious awards for supporting early career faculty who effectively integrate research and education in the context of their institution's mission.

"We are thrilled that Pavithra has received the CAREER award for her important research on systems that are becoming more prevalent in our lives," said Darren Dawson, dean of the College of Engineering. "Prestigious faculty recognition at this level is a crucial part of Kansas State University's plan to be a Top 50 public research university by 2025."

For her CAREER project, Prabhakar will address the challenge of reliably developing cyber-physical systems, which are software networks that interact with the physical world. Prabhakar will focus on several types of cyber-physical systems, including aerospace, automotive and robotic systems.

Prabhakar will dig deeper into the design of cyber-physical systems and take a holistic approach to ensuring high-level specifications. Most of the current analysis focuses on detecting low-level errors in cyber-physical systems software. Prabhakar wants to go a step further and develop a robust verification paradigm that addresses high-level functional properties, such as collision avoidance in air traffic control.

"We want to investigate new foundations, abstractions and verification algorithms for robust analysis, in light of novel quantitative and topological aspects of robustness," Prabhakar said. ''We want to advance knowledge in the fields of formal methods and hybrid control systems by leveraging ideas from control theory, dynamical systems theory, optimization theory and satisfiability modulo theory."

Prabhakar and her research team also will develop prototype tools. She will create new cross-disciplinary courses to teach undergraduate and graduate students about hybrid control system design. Through research and outreach activities, Prabhakar will recruit and mentor undergraduate students, especially those from underrepresented groups. She also will organize physical systems programs and activities for high school students interested in STEM-related careers.

"This CAREER award will be critical in jump-starting my research," Prabhakar said. "In particular, it will facilitate building a strong hybrid systems group in the computing and information sciences department by supporting some initial students."

Prabhakar's main research interests include the formal analysis of cyber-physical systems, with emphasis on both theoretical and practical methods for verification and synthesis of hybrid control systems. She has served on the program committees of several conferences in the field of hybrid systems and formal verification as well as chaired several workshops and seminars. She also has received the Marie Curie Career Integration Grant from the European Union.
-end-


Kansas State University

Related Health Care Articles from Brightsurf:

Study evaluates new World Health Organization Labor Care Guide for maternity care providers
The World Health Organization developed the new Labor Care Guide to support clinicians in providing good quality, women-centered care during labor and childbirth.

Six ways primary care "medical homes" are lowering health care spending
New analysis of 394 U.S. primary care practices identifies the aspects of care delivery that are associated with lower health care spending and lower utilization of emergency care and hospital admissions.

Modifiable health risks linked to more than $730 billion in US health care costs
Modifiable health risks, such as obesity, high blood pressure, and smoking, were linked to over $730 billion in health care spending in the US in 2016, according to a study published in The Lancet Public Health.

Spending on primary care vs. other US health care expenditures
National health care survey data were used to assess the amount of money spent on primary care relative to other areas of health care spending in the US from 2002 to 2016.

MU Health Care neurologist publishes guidance related to COVID-19 and stroke care
A University of Missouri Health Care neurologist has published more than 40 new recommendations for evaluating and treating stroke patients based on international research examining the link between stroke and novel coronavirus (COVID-19).

Large federal program aimed at providing better health care underfunds primary care
Despite a mandate to help patients make better-informed health care decisions, a ten-year research program established under the Affordable Care Act has funded a relatively small number of studies that examine primary care, the setting where the majority of patients in the US receive treatment.

International medical graduates care for Medicare patients with greater health care needs
A study by a Massachusetts General Hospital research team indicates that internal medicine physicians who are graduates of medical schools outside the US care for Medicare patients with more complex medical needs than those cared for by graduates of American medical schools.

The Lancet Global Health: Improved access to care not sufficient to improve health, as epidemic of poor quality care revealed
Of the 8.6 million deaths from conditions treatable by health care, poor-quality care is responsible for an estimated 5 million deaths per year -- more than deaths due to insufficient access to care (3.6 million) .

Under Affordable Care Act, Americans have had more preventive care for heart health
By reducing out-of-pocket costs for preventive treatment, the Affordable Care Act appears to have encouraged more people to have health screenings related to their cardiovascular health.

High-deductible health care plans curb both cost and usage, including preventive care
A team of researchers based at IUPUI has conducted the first systematic review of studies examining the relationship between high-deductible health care plans and the use of health care services.

Read More: Health Care News and Health Care Current Events
Brightsurf.com is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to Amazon.com.