Patent | Date |
---|
Systems and methods for arbitrary software logic modeling Grant 10,402,173 - Ren , et al. Sep | 2019-09-03 |
System and method for model based technology and process for safety-critical software development Grant 10,346,140 - Johnson , et al. July 9, 2 | 2019-07-09 |
Method and system for mission planning via formal verification and supervisory controller synthesis Grant 10,249,197 - Castillo-Effen , et al. | 2019-04-02 |
System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges Grant 10,169,217 - Yu , et al. J | 2019-01-01 |
Systems And Methods For Arbitrary Software Logic Modeling App 20180246703 - REN; Liling ;   et al. | 2018-08-30 |
System And Method For Safety-critical Software Automated Requirements-based Test Case Generation App 20180196739 - LI; Meng ;   et al. | 2018-07-12 |
System and method for safety-critical software automated requirements-based test case generation Grant 9,940,222 - Li , et al. April 10, 2 | 2018-04-10 |
System and method for coverage-based automated test case augmentation for design models Grant 9,792,204 - Li , et al. October 17, 2 | 2017-10-17 |
System And Method For Test Generation From Software Specification Models That Contain Nonlinear Arithmetic Constraints Over Real Number Ranges App 20170293549 - Yu; Han ;   et al. | 2017-10-12 |
Method And System For Mission Planning Via Formal Verification And Supervisory Controller Synthesis App 20170277203 - CASTILLO-EFFEN; Mauricio ;   et al. | 2017-09-28 |
Method and system of software specification modeling Grant 9,747,079 - Siu , et al. August 29, 2 | 2017-08-29 |
System And Method For Coverage-based Automated Test Case Augmentation For Design Models App 20170220456 - LI; Meng ;   et al. | 2017-08-03 |
System And Method For Safety-critical Software Automated Requirements-based Test Case Generation App 20170147482 - LI; Meng ;   et al. | 2017-05-25 |
System And Method For Model Based Technology And Process For Safety-critical Software Development App 20170039039 - Johnson; Timothy Lee ;   et al. | 2017-02-09 |
Method And System Of Software Specification Modeling App 20160170714 - Siu; Kit Yan ;   et al. | 2016-06-16 |
Trajectory based sense and avoid Grant 9,014,880 - Durling , et al. April 21, 2 | 2015-04-21 |
Trajectory Based Sense And Avoid App 20120158219 - Durling; Michael Richard ;   et al. | 2012-06-21 |
Apparatus and method for identifying a defect and/or operating characteristic of a system Grant 8,160,832 - Luo , et al. April 17, 2 | 2012-04-17 |
Non-intrusive Appliance Load Identification Using Cascaded Cognitive Learning App 20100305889 - Tomlinson, JR.; Harold Woodruff ;   et al. | 2010-12-02 |
Apparatus And Method For Identifying A Defect And/or Operating Characteristic Of A System App 20100141441 - LUO; Huageng ;   et al. | 2010-06-10 |
Apparatus and method for identifying a defect and/or operating characteristic of a system Grant 7,693,673 - Luo , et al. April 6, 2 | 2010-04-06 |
Cognitive electric power meter Grant 7,693,670 - Durling , et al. April 6, 2 | 2010-04-06 |
System and method for providing reactive power support with distributed energy resource inverter Grant 7,508,173 - Zhou , et al. March 24, 2 | 2009-03-24 |
Cognitive electric power meter App 20090045804 - Durling; Michael Richard ;   et al. | 2009-02-19 |
Apparatus And Method For Identifying A Defect And/or Operating Characteristic Of A System App 20080306705 - Luo; Huageng ;   et al. | 2008-12-11 |
System and method for sensor validation and fusion Grant 7,293,400 - Taware , et al. November 13, 2 | 2007-11-13 |
Differential temperature energy harvesting in a fuel cell powered underwater vehicle App 20070137686 - Durling; Michael Richard ;   et al. | 2007-06-21 |
System and method for providing reactive power support with distributed energy resource inverter App 20070135970 - Zhou; Rui ;   et al. | 2007-06-14 |
Differential temperature energy harvesting in a fuel cell powered underwater vehicle App 20070128473 - Durling; Michael Richard ;   et al. | 2007-06-07 |
System and method for sensor validation and fusion App 20060074496 - Taware; Avinash Vinayak ;   et al. | 2006-04-06 |
Method and apparatus for reduction of combustor dynamic pressure during operation of gas turbine engines Grant 6,973,791 - Handelsman , et al. December 13, 2 | 2005-12-13 |
Method And Apparatus For Reduction Of Combustor Dynamic Pressure During Operation Of Gas Turbine Engines App 20050144955 - Handelsman, Steven Keith ;   et al. | 2005-07-07 |