Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems.
Taylor T. JohnsonJeremy GreenSayan MitraRachel DudleyRichard Scott ErwinPublished in: FM (2012)
Keyphrases
- hybrid systems
- case study
- intelligent systems
- black box
- discrete event
- computational intelligence
- neural network
- meta learning
- soft computing
- artificial intelligence
- real world
- knowledge management
- software development
- expert systems
- inductive learning
- learning process
- development process
- text categorization
- search problems
- multi class