{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:09:16Z","timestamp":1773191356754,"version":"3.50.1"},"reference-count":38,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"9","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.2514\/1.i010350","type":"journal-article","created":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T16:08:30Z","timestamp":1443197310000},"page":"599-615","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":8,"title":["Flight Safety Assessment and Management for Takeoff Using Deterministic Moore Machines"],"prefix":"10.2514","volume":"12","author":[{"given":"Sweewarman","family":"Balachandran","sequence":"first","affiliation":[{"name":"Department of Aerospace Engineering, University of Michigan, Ann Arbor, Michigan 48105"}]},{"given":"Ella. M.","family":"Atkins","sequence":"additional","affiliation":[{"name":"Department of Aerospace Engineering, University of Michigan, Ann Arbor, Michigan 48105"}]}],"member":"1387","reference":[{"key":"r1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-8004"},{"key":"r2","volume-title":"The Avionics Handbook","author":"Gregg F. B.","year":"2001"},{"key":"r4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2006-6055"},{"key":"r7","doi-asserted-by":"publisher","DOI":"10.2514\/6.2013-4805"},{"key":"r8","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-0785"},{"key":"r9","doi-asserted-by":"publisher","DOI":"10.2514\/1.C032619"},{"key":"r10","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-0786"},{"key":"r13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_21"},{"key":"r14","unstructured":"HopcroftJ. E., Introduction to Automata Theory, Languages, and Computation, Pearson Education, Noida, India, 1979, pp.\u00a038\u201383, Chap.\u00a02."},{"key":"r15","unstructured":"\u201cNorthwest Airlines, INC; McDonnnell Douglas DC 9-82, N312RC, Detroit Metropolitan Wayne County Airport, Romulus, Michigan, August\u00a016, 1987,\u201d National Transportation Safety Board Accident Rept.\u00a0NTSB\/AAR-85\/05, 1988, http:\/\/libraryonline.erau.edu\/online-full-text\/ntsb\/aircraft-accident-reports\/AAR88-05.pdf [retrieved Dec.\u00a02012]."},{"key":"r16","unstructured":"\u201cRunway Side Excursion During Attempted Takeoff in Strong and Gusty Crosswind Conditions-Continental Airlines Flight 1404, Boeing 737-500, N18611,\u201d National Transportation Safety Board Accident Rept.\u00a0NTSB\/AAR-10\/04, 2008."},{"key":"r17","doi-asserted-by":"publisher","DOI":"10.2514\/1.C031500"},{"key":"r18","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-1458"},{"key":"r21","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-8142"},{"key":"r22","doi-asserted-by":"publisher","DOI":"10.2514\/1.G000271"},{"key":"r23","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-1995"},{"key":"r24","doi-asserted-by":"publisher","DOI":"10.2514\/6.2013-4618"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-1546"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-0268"},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.2514\/3.20237"},{"issue":"4","key":"r28","first-page":"768","volume":"32","author":"Milligan M. W.","year":"1995","journal-title":"Journal of Guidance, Control, and Dynamics","ISSN":"https:\/\/id.crossref.org\/issn\/0162-3192","issn-type":"print"},{"key":"r29","doi-asserted-by":"publisher","DOI":"10.2514\/1.22966"},{"key":"r30","doi-asserted-by":"publisher","DOI":"10.2514\/6.1993-3608"},{"key":"r34","unstructured":"RoskamJ.LanC. T. E., Airplane Aerodynamics and Performance, DARcorporation, Lawrence, KS, 1997, pp.\u00a0435\u2013507, Chap.\u00a010."},{"key":"r35","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-0612"},{"key":"r37","unstructured":"BaierC.KatoenJ. P., Principles of Model Checking, Vol.\u00a026202649, MIT Press, Cambridge, MA, 2008, pp.\u00a019\u201382, Chap.\u00a02."},{"key":"r38","author":"Balachandran S.","journal-title":"Journal of Aerospace Information Systems"},{"key":"r39","unstructured":"SavageJ. E., Models of Computation: Exploring the Power of Computing, Addison-Wesley, Reading, MA, 1998, pp.\u00a0153\u2013207, Chap.\u00a04."},{"key":"r40","first-page":"129","volume-title":"Automata Studies","volume":"34","author":"Moore E. F.","year":"1956"},{"key":"r41","unstructured":"\u201cTailstrike and Runway Overrun, Melbourne Airport, Victoria,\u201d Australian Transportation Safety Bureau Accident Rept.\u00a0AO-2009-012, Australian Capital Territory, Canberra, Australia, 2009, http:\/\/www.atsb.gov.au\/publications\/investigation_reports\/2009\/aair\/ao-2009-012.aspx [retrieved\u00a02015]."},{"key":"r43","doi-asserted-by":"crossref","unstructured":"YorkB. W.AlaverdiO. \u201cA Physically Representative Aircraft Landing Gear Model for Real Time Simulations,\u201d U.S. Naval Air Warfare Center Aircraft Division Rept.\u00a019960916-028, 1996, http:\/\/oai.dtic.mil\/oai\/oai?verb=getRecord&metadataPrefix=html&identifier=ADA314062 [retrieved March\u00a02012];","DOI":"10.2514\/6.1996-3506"},{"key":"r43","doi-asserted-by":"publisher","DOI":"10.2514\/6.1996-3506"},{"key":"r44","unstructured":"RankinJ. \u201cBifurcation Analysis of Nonlinear Ground Handling of Aircraft,\u201d Ph.D. Thesis, Univ. of Bristol, Bristol, England, U.K. 2010."},{"key":"r45","unstructured":"WongJ., Theory of Ground Vehicles, Wiley-Interscience, Hoboken, NJ, 2010, pp.\u00a03\u201384."},{"key":"r46","doi-asserted-by":"publisher","DOI":"10.1076\/vesd.39.3.189.14152"},{"key":"r47","unstructured":"PacejkaH., Tyre and Vehicle Dynamics, Elsevier, Oxford, 2006, pp.\u00a0150\u2013202."},{"key":"r48","volume-title":"Aircraft Control and Simulation","author":"Stevens L. B.","year":"2003"},{"key":"r49","doi-asserted-by":"publisher","DOI":"10.2514\/6.2014-0542"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T08:14:42Z","timestamp":1653207282000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":38,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["10.2514\/1.I010350"],"URL":"https:\/\/doi.org\/10.2514\/1.i010350","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9]]},"assertion":[{"value":"2014-10-23","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-05-03","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-07-31","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-09-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}