![\"\"](\"\/cise\/files\/2018\/01\/image001-150x150.png\")
<\/p>\nFriday, January 26,\u00a02018, 3pm-4pm
\n8 St. Mary’s Street,\u00a0PHO\u00a0211
\nRefreshments at 2:45pm<\/p>\n
<\/p>\n
<\/p>\n
<\/p>\n
Modern cyber-physical systems (CPSs) such as smart power grids and mobile autonomous robots, interleave computational tools with physical infrastructure to automatically effect physical changes in the \u201creal world\u201d.\u00a0 As the designs of these systems become more complex, the problem of verifying and validating high-level, rich physical behaviors, e.g. \u201cSurvey sites of interest infinitely often, avoid collisions, maintain appropriate charge levels, avoid obstacles, and maintain periodic connectivity\u201d , becomes too difficult to be accomplished with hand-coded heuristics and challenges the ability of traditional design techniques. \u00a0In this talk, I will present some recent work on approaches for iterative test case construction used to generate experimental test cases that adequately stress the performance of a system under test.\u00a0 These techniques are especially useful in national security applications such as missile defense in which empirical validation opportunities are relatively limited.<\/p>\n
Austin Jones <\/strong>is a technical staff member in the Ballistic Missile Defense Systems Integration Group at MIT Lincoln Laboratory.\u00a0 Austin\u2019s research interests include formal methods, robotics, machine learning, multi-agent systems, and differential privacy.\u00a0 Austin obtained his B.S. and M.S. in systems science from Washington University in Saint Louis and his Ph.D. in systems engineering from Boston University.\u00a0 Prior to joining Lincoln Laboratory, Austin was a post-doctoral research fellow in the departments of mechanical and electrical engineering at Georgia Institute of Technology.<\/p>\n Faculty Host:\u00a0Calin Belta Friday, January 26,\u00a02018, 3pm-4pm 8 St. Mary’s Street,\u00a0PHO\u00a0211 Refreshments at 2:45pm Austin Jones Massachusetts Institute of Technology\u00a0 Systems Engineering for National Security Challenges Modern cyber-physical systems (CPSs) such as smart power grids and mobile autonomous robots, interleave computational tools with physical infrastructure to automatically effect physical changes in the \u201creal world\u201d.\u00a0 As the […]<\/p>\n","protected":false},"author":15670,"featured_media":0,"parent":29986,"menu_order":11,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/30075"}],"collection":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/users\/15670"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/comments?post=30075"}],"version-history":[{"count":3,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/30075\/revisions"}],"predecessor-version":[{"id":30078,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/30075\/revisions\/30078"}],"up":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/29986"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/media?parent=30075"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nStudent Host:\u00a0Rui Chen<\/p>\n","protected":false},"excerpt":{"rendered":"