Validation & Verification of Intelligent and Adaptive Control Systems
Authors:
- 26 June 2003
- conference paper
- Published by American Institute of Aeronautics and Astronautics (AIAA)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A wire-delay scalable microprocessor architecture for high performance systems2003
- An open architecture for automatic code generation using the BEACON CACE environment2002
- Computer Simulations Analysis for Reconfigurable Flight Control Design2002
- Formal verification of hybrid systems using CheckMate: a case study2000
- Indirect adaptive flight control of a tailless fighter aircraft1999
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Markov Models and Optimization1993