Workshop on the Integration of Control Theory, Formal Methods, Learning and Human Factors for Autonomous Systems

From u-t-autonomous.info
Revision as of 03:19, 31 January 2016 by Utopcu (Talk | contribs)

Jump to: navigation, search

Date: April 18-19, 2015
Location: The University of Texas at Austin, The Peter O'Donnell, Jr. Building, POB 2.402 (location of the building on Google maps)
Objective: Each of the disciplines, control theory, formal methods, learning and human factors, has the potential to contribute toward affordable, trustworthy and user-friendly autonomous systems. On the other hand, the existing disciplinary boundaries often limit their impact. For example, while control theory and formal methods offer rigorous proofs of correctness with respect to rich sets of mathematically based specifications, they lack capabilities for adaptation to contextual changes. Learning offers such adaptability yet often at the expense of clear semantics for robustness and flexible high-level specifications. The disconnect of control theory, formal methods and learning from the growing human factors and modeling research complicates their acceptance by humans. We believe that tighter interactions between these disciplines is necessary. The workshop will emphasize the development of hybrid methods that blend ideas from all these disciplines and possibly others toward a unified language and toolset.
Organizers: Michael Goodrich (BYU), Laura Humphrey (AFRL), Michael Littman (Brown), and Ufuk Topcu (UT Austin)

Participants

List of participants (tentative):

  • Julie Adams (Vanderbilt University)
  • Amy Pritchett (Georgia Institute of Technology)
  • Matthew Bolton (University of Buffalo)
  • Chris Miller (Smart Information Flow Technologies)
  • Nisar Ahmed (University of Colorado)
  • Satinder Singh (University of Michigan)
  • John Laird (University of Michigan)
  • Tom Griffiths (University of California, Berkeley)
  • Marta Kwiatkowska (University of Oxford)
  • Moshe Vardi (Rice University)
  • Jose del Millan (Swiss Federal Institute of Technology in Lausanne)
  • Jie Fu (Worcester Polytechnic Institute)
  • Jonathan Pfautz (DARPA)
  • Andrea Thomaz (The University of Texas at Austin)
Retrieved from "https://www.ae.utexas.edu/facultysites/topcu/wiki/index.php?title=Workshop_on_the_Integration_of_Control_Theory,_Formal_Methods,_Learning_and_Human_Factors_for_Autonomous_Systems&oldid=285"