| 10402173 |
Systems and methods for arbitrary software logic modeling |
Liling Ren, Han Yu, Gregory Reed Sykes, Michael Richard Durling, Kit Yan Siu |
2019-09-03 |
| 10346140 |
System and method for model based technology and process for safety-critical software development |
Timothy L. Johnson, Andrew Walter Crapo, Michael Richard Durling, Alexander Walsch, Kit Yan Siu +5 more |
2019-07-09 |
| 10169217 |
System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges |
Han Yu, Michael Richard Durling, Kit Yan Siu, Meng Li, Baoluo Meng +2 more |
2019-01-01 |
| 9792204 |
System and method for coverage-based automated test case augmentation for design models |
Meng Li, Michael Richard Durling, Jian Dai |
2017-10-17 |
| 9747079 |
Method and system of software specification modeling |
Kit Yan Siu, Andrew Walter Crapo, Michael Richard Durling, Luca Parolini, Panagiotis Manolios +1 more |
2017-08-29 |
| 7475895 |
Hydraulic circuit for a stabilizer bar |
Vincent Pichon, Jason A. Mc Clelland, Mike W. Hilton |
2009-01-13 |
| 7143684 |
Hydraulic actuator having disc valve assembly |
Stephen E. Dourson, Vincent Pichon |
2006-12-05 |
| 7104180 |
Low noise linear actuator |
Andrew F. Hall, Mike W. Hilton, Jason McClelland, Vincent Pichon, Steven Kent Raypole +1 more |
2006-09-12 |
| 6517089 |
Torsion bar actuator for suspension trim height and roll control |
Robert Phillis |
2003-02-11 |
| 6145939 |
Electro-hydraulic braking system having cold temperature detection and compensation |
Hsiao Hsiou (Eileen) Chang, Deron C. Littlejohn |
2000-11-14 |
| 5895098 |
Rear manual brake control for an electro-hydraulic braking system |
Xavier Groult, Bernard Claude Veron |
1999-04-20 |
| 5762407 |
Brake system control method and apparatus |
Deron C. Littlejohn |
1998-06-09 |
| 5570288 |
Vehicle suspension control using a scaled wheel demand force |
Scott Wilson Badenoch, David Andrew Shal |
1996-10-29 |
| 5570289 |
Vehicle suspension control with wheel and body demand force phase determination |
Joan B. Arwine |
1996-10-29 |
| 5559700 |
Continuously variable damping system |
Kamal N. Majeed |
1996-09-24 |
| 5510988 |
Vehicle chassis control system |
Kamal N. Majeed, Albert Victor Fratini, Jr., Eric L. Jensen, Jay R. Varner, James W. Hauser |
1996-04-23 |
