Design of Robotics and Embedded systems, Analysis, and Modeling Seminar (DREAMS)
The Design of Robotics and Embedded systems, Analysis, and Modeling Seminar (DREAMS) occurs weekly on Tuesdays from 4.10-5.00 p.m. in 531 Cory Hall (Wang Room).
The Design of Robotics and Embedded systems, Analysis, and Modeling Seminar topics are announced to the DREAMS list, which includes the chessworkshop workgroup, which includes the chesslocal workgroup.
Information on the seminar series might be useful for potential speakers. If you have any questions about DREAMS, please contact Armin Wasicek. If you want to subscribe to our mailing list, please drop me a line.
Seminars from previous semesters can be found here.
Upcoming Seminar Talk
October 21, 2014 4.10-5pm, 531, Cory Hall, Yi-Chin Wu, University of Michigan: Enforcement of Opacity Security Properties Using Event Insertion
Neural Dust and Neural Interfaces
Sep 09, 2014, 4.10-5pm, Michel Maharbiz, UC Berkeley.
A major technological hurdle in neuroprosthetics is the lack of an implantable neural interface system that remains viable for a lifetime. I will discuss the basics of extracellular neural recording, discuss the state of the art in cortical neural recording and introduce Neural Dust, a concept developed with Elad Alon, Jose Carmena and Jan Rabaey, which aims to develop a tetherless method to remotely record action potentials from the mammalian cortex.
Michel M. Maharbiz is an Associate Professor with the Department of Electrical Engineering and Computer Science at the University of California, Berkeley.
He received his Ph.D. from the University of California at Berkeley under Professor Roger T. Howe (EECS) and Professor Jay D. Keasling (ChemE); his work led to the foundation of Microreactor Technologies, Inc. which was acquired in 2009 by Pall Corporation. From 2003 to 2007, Michel Maharbiz was an Assistant Professor at the University of Michigan, Ann Arbor. He is the co-founder of Tweedle Technologies, Cortera Neurotech and served as vice-president for product development at Quswami, Inc. from July 2010 to June 2011.
Prof. Maharbiz is a Bakar Fellow and was the recipient of a 2009 NSF Career Award for research into developing microfabricated interfaces for synthetic biology. His group is also known for developing the world’s first remotely radio-controlled cyborg beetles. This was named one of the top ten emerging technologies of 2009 by MIT’s Technology Review (TR10) and was in Time Magazine’s Top 50 Inventions of 2009. Dr. Maharbiz has been a GE Scholar and an Intel IMAP Fellow. Professor Maharbiz’s current research interests include building micro/nano interfaces to cells and organisms and exploring bio-derived fabrication methods. Michel’s long term goal is understanding developmental mechanisms as a way to engineer and fabricate machines.
Formal Methods for Lab-Based MOOCs: Cyber-Physical Systems and Beyond
Sep 30, 2014, 4.10-5pm, Sanjit Seshia, UC Berkeley.
The advent of massive open online courses (MOOCs) has placed a renewed focus
on the development and use of computational aids for teaching and learning.
This talk describes joint work with several collaborators including Alexandre Donze, Jeff Jensen, Garvit Juniwal, and Edward Lee.
Sanjit A. Seshia is an Associate Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in embedded systems, electronic design automation, computer security, and program analysis. His Ph.D. thesis work on the UCLID verifier and decision procedure helped pioneer the area of satisfiability modulo theories (SMT) and SMT-based verification. He is co-author of a widely-used textbook on embedded systems. His awards and honors include a Presidential Early Career Award for Scientists and Engineers (PECASE) from the White House, an Alfred P. Sloan Research Fellowship, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.
Formal analysis of timing effects on closed-loop properties of cyber physical systems
Oct 07, 2014, 3.10-4pm, Arne Hamann, Robert Bosch GmbH, Stuttgart, Germany.
ROOM: 400 Hughes room
The underlying theories of, both, control engineering and real-time systems engineering, assume idealized system abstractions that mutually neglect central aspects of the other discipline. Control engineering theory usually assumes jitter free sampling and insignificant (constant) input-output latencies disregarding complex real-world timing effects. Real-time systems theory, on the other hand, uses abstract performance models that neglect the functional behavior, and derives worst-case situations that have little expressiveness for control functionalities in physically dominated automotive systems. However, there is a lot to gain from a systematic co-engineering between both disciplines, increasing design efficiency and confidence.
In this talk an approach is presented that integrates state-of-the-art timing models into functional analysis. A general system model is presented and integrated into closed-loop reachability analysis using the hybrid system state space explorer SpaceEx. This enables a systematic co-engineering between both disciplines, increasing design efficiency and confidence. The approach is demonstrated based on an industrial example, the control software of an electro-mechanical braking system.
Arne Hamann obtained his PhD in Computer Science in 2008 from the Technical University of Braunschweig, Germany. His PhD thesis was awarded the EDAA Outstanding Dissertation Award 2009 in the category “New directions in embedded system design and embedded software”. Currently, Arne Hamann is working for Bosch Corporate Research in the division of “Software-intensive Systems”. There, he acts as expert for real-time system design principles for physically dominated embedded systems. Additionally, he is in charge of an internal research project introducing novel model-centric system design methods into various business units within the Bosch Group. Arne Hamann is part of the AUTOSAR Timing Extensions Subgroup as well as the AUTOSAR Timing User Group. Additionally, he represents Bosch in the European ROS Industrial Consortium (RIC-EU). In the academic context, he currently serves as industrial advisory board member of the European COST action TACLe (Timing Analysis on Code Level) and program committee member of the EMSOFT and ECRTS conferences.
The Robo Brain Project: Learning Models for Perception, Planning and Language
Oct 07, 2014, 4.10-5pm, Ashutosh Saxena, Cornell University.
ROOM Change: 540AB DOP Center room!
In this talk, I will present learning algorithms that start learning from large-scale unsupervised datasets, and through different forms of human feedback learn about concepts such as object affordances and basic physics. These representations and concepts are stored as a large graph in the robot brain. Through a few examples, I will show that such models are very effective in performing a variety of tasks including 3D scene labeling, human activity detection and anticipation, grasping, path planning, robot language, and so on.
Ashutosh Saxena is an assistant professor in the Computer Science department at Cornell University. His research interests include machine learning, robotics and computer vision. He received his MS in 2006 and Ph.D. in 2009 from Stanford University, and his B.Tech. in 2004 from Indian Institute of Technology (IIT) Kanpur. He has also won best paper awards in 3DRR, RSS and IEEE ACE. He was named a co-chair of IEEE technical committee on robot learning. He was a recipient of National Talent Scholar award in India and Google Faculty award in 2011. He was named a Alred P. Sloan Fellow in 2011, named a Microsoft Faculty Fellow in 2012, received a NSF Career award in 2013, and received a Early Career Spotlight Award at RSS 2014.
He has also developed algorithms that enable robots (such as STAIR, POLAR and Kodiak) to perform household chores such as unload items from a dishwasher, place items in a fridge, arrange a disorganized house, etc. He has developed learning algorithms for perceiving environments from RGB-D sensors and infer semantic labels, object affordances for tasks such as activity detection and anticipation. Previously, Ashutosh has developed Make3D (http://make3d.cs.cornell.edu), an algorithm that converts a single photograph into a 3D model. Tens of thousands of users used this technology to convert their pictures to 3D. His work has received substantial amount of attention in popular press, including the front-page of New York Times, BBC, ABC, New Scientist Discovery Science, and Wired Magazine.
Enforcement of Opacity Security Properties Using Event Insertion
Oct 21, 2014, 4.10-5pm, Yi-Chin Wu, University of Michigan.
Opacity is a confidentiality property that arises in the analysis of security properties in networked systems. It characterizes whether a "secret" of the system can be inferred by an intruder who knows the system model and partially observes the system behavior. The secret could for instance be a set of system states that should not be revealed to the intruder. The secret of the system is opaque if whenever the secret has occurred (i.e., the system has reached a secret state), there exists another "non-secret" behavior that is observationally equivalent to the intruder.
In this talk, I will first introduce the notions of opacity in the framework of Discrete Event Systems modeled as partially-observable and/or nondeterministic finite state automata. Then, I will focus on the control problem where we enforce opacity when the system is not opaque. Specifically, I will introduce the insertion mechanism, which places
Yi-Chin Wu is currently a research fellow at the University of Michigan and a visiting scholar at UC Berkeley. She received her M.S. degree in 2011 and Ph.D. degree in 2014, both in EE: Systems at the University of Michigan. Her research interest lies at the intersection of network security, formal methods, and control engineering. Her Ph.D. thesis develops techniques for analyzing and enforcing opacity security properties in Discrete Event Systems.
Oct 28, 2014, 4.10-5pm, Dave Parker, University of Birmingham, UK.
Nov 04, 2014, 4.10-5pm, Martin Torngren, KTH, Stockholm, Sweden.
This group has the following subpages:
|You are not logged in|
|©2002-2014 U.C. Regents|