Patents by Inventor Houssam ABBAS

Houssam ABBAS has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • TEMPORAL LOGIC ROBUSTNESS GUIDED TESTING FOR CYBER-PHYSICAL SYSTEMS
    Publication number: 20160292307
    Abstract: Embodiments of model-based system design with model verification are disclosed. An embodiment includes receiving a model for a system and at least one specification for the system. In some embodiments, the system determines at least one of a minimum expected robustness value and a maximum expected robustness value for a region of a search space of the model with respect to the at least one specification. The model may be modified based on the determined minimum or maximum expected robust ness value.
    Type: Application
    Filed: November 6, 2014
    Publication date: October 6, 2016
    Applicant: ARIZONA BOARD OF REGENTS ON BEHALF OF ARIZONA STATE UNIVERSITY
    Inventors: Georgios FAINEKOS, Bardh HOXHA, Houssam ABBAS