STHA: Spatio-Temporal Hybrid Automata

Sandeep Gupta (Inventor)

Research output: Patent


Delivery of critical healthcare such as drug delivery and chemotherapy by TeleHealth applications has grown into over a $3.1 billion industry annually. Unfortunately, these devices are prone to software failures, which can have grave consequences that include loss of life. Cyber-Physical Systems (CPSes) devices are regulated by the Food and Drug Administration (FDA). As a result of their potential risks to human health and safety, the FDA has imposed strict regulations on certification and marketing for these devices. Certification is a long and costly process, which lengthens the amount of time required for new innovations to get to market. Testing new innovations can be a long and cumbersome process as well. New methods are needed to speed the testing processes that provide better data, therefore aiding in certification. Researchers at Arizona State University have developed new software for testing CPSes devices. The program provides formal verification that theoretically proves the equipment operates safely. This innovation speeds up and improves equipment testing by allowing for more rigorous regiments in less time than conventional testing methods. The resulting data builds a more complete case for certifiers to review, thus speeding the testing and FDA certification process. Potential Applications Testing mobile health-care devices Developing data for FDA certification Benefits and Advantages Lower Costs Allows innovators to get new ideas to market quickly. More Accurate Provides higher quality assurances that medical devices are safe. Retrofit This software can provide models for existing devices and new innovations. Download Original PDF For more information about the inventor(s) and their research, please see Dr. Sandeep Gupta's directory webpage Dr. Ayan Banerjee's directory webpage
Original languageEnglish (US)
StatePublished - Feb 21 2013


Dive into the research topics of 'STHA: Spatio-Temporal Hybrid Automata'. Together they form a unique fingerprint.

Cite this