Safe Automotive Software

This publication has 13 references indexed in Scilit:

• Testing the covariance matrix of the innovation sequence with sensor/actuator fault detection applications
  International Journal of Adaptive Control and Signal Processing, 2010
• Property Driven Three-Valued Model Checking on Hybrid Automata
  2009
• Multisensor Data Fusion
  2008
• Fault detection by using the innovation signal: application to an exothermic reaction
  Chemical Engineering and Processing - Process Intensification, 2004
• A review of process fault detection and diagnosis
  Computers & Chemical Engineering, 2003
• A review of process fault detection and diagnosis
  Computers & Chemical Engineering, 2003
• Discrete abstractions of hybrid systems
  Proceedings of the IEEE, 2000
• The Theory of Hybrid Automata
  2000
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994