Travelled to:1 × France
Collaborated with:J.Green S.Mitra R.Dudley R.S.Erwin
Talks about:nonlinear (1) satellit (1) conjunct (1) rendezv (1) system (1) hybrid (1) verif (1) studi (1) avoid (1) case (1)
Person: Taylor T. Johnson
DBLP: Johnson:Taylor_T=
Contributed to:
2012Wrote 1 papers:
- FM-2012-JohnsonGMDE #case study #hybrid #verification
- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems (TTJ, JG, SM, RD, RSE), pp. 252–266.