Blank Cover Image

Model Based Design Verification: A Monitor Based Approach.

Author(s):
Ackermann, C.
Ray, A.
Cleaveland, R.
Heit, J.
Martin, C.
Shelton, C.
1 more
Publication title:
2008 SAE world congress : technical paper
Title of ser.:
Society of Automotive Engineers technical paper series
Ser. no.:
2008
Pub. Year:
2008
No.:
2008-01-0741
Paper no.:
2008-01-0741
Pages:
10
Pub. info.:
Warrendale, Penn.: Society of Automotive Engineers
ISSN:
01487191
Language:
English
Call no.:
S10400
Type:
Technical Paper

Similar Items:

1 Technical Paper Integrating Functional and Non-Functional Design Verification for Embedded Software Systems.

Ackermann, C., Ray, A., Cleaveland, R., Shelton, C., Martin, C.

Society of Automotive Engineers
7 Technical Paper Design and Verification Approach for a Complex State-Based Fuel Cell Control System.

Grymlas, J., Thielecke, F.

Society of Automotive Engineers
2 Technical Paper Model Based Verification and Validation of Distributed Control Architectures.

Ray, A., Cleaveland, R., Jiang, S., Fuhrman, T.E.

Society of Automotive Engineers
8 Technical Paper Comparing Cavitation in Diesel Injectors Based on Different Modeling Approaches.

Mulemane, A., Subramaniyam, S., Lu, P-H., Han, J-S., Lai, M-C., Poola, R.

Society of Automotive Engineers
3 Technical Paper High-Fidelity Aero-Structural Design Using a Parametric CAD-Based Model

Alonso, J., Martins, J., Reuther, J., Haimes, R., Crawford, C.

American Institute of Aeronautics and Astronautics
9 Technical Paper Multi-Stage Aerodynamic Design of Multi-Body Geometries by Kriging-Based Models and Adjoint Variable Approach

J. Yim, B. Lee,, C. Kim, S. Obayashi

American Institute of Aeronautics and Astronautics
4 Technical Paper Ranking Based Model-Form Uncertainty Quantification for a Multi-fidelity Design Approach

J. Umakant, K. Sudhakar, P. Mujumdar, C. Raghavendra Rao

American Institute of Aeronautics and Astronautics
10 Technical Paper Evaluation, Selection, and Application of Model-Based Diagnosis Tools and Approaches

S. Poll, A. Patterson-Hine, J. Camisa, D. Nishikawa, L. Spirkovska, D. Garcia, D. Hall, C. Neukom, A. Sweet, S. Yentus, …

American Institute of Aeronautics and Astronautics
5 Technical Paper EXPERIMENTAL CONFIRMATION OF A PDE-BASED APPROACH TO DESIGN OF FEEDBACK CONTROLS

Banks, H. T., Smith, Ralph C., Brown, D. E., Silcox, R. J., Metcalf, Vern L.

National Aeronautics and Space Adminstration
11 Technical Paper Design of Experiments Based Force Modeling of the Face Grinding Process.

Johnson, E.C., Li, R., Shih, A.J., Hanna, H.

Society of Manufacturing Engineers
6 Technical Paper Formal Verification and Automated Testing for Diagnostic and Monitoring Systems

B. Dutertre, J. Rushby, A. Tiwari, C. Munoz, R. Siminiceanu

American Institute of Aeronautics and Astronautics
12 Technical Paper Launch Vehicle Propulsion Design with Multiple Selection Criteria

Shelton, J., Frederick, R., Wilhite, A.

American Institute of Aeronautics and Astronautics
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12