Robotics Seminar Series: Dr. Rahul Mangharam, U Penn, Friday 2/22 @ 3:00 in 153 University Crossings

[M. Ani Hsieh]

Please contact M. Ani Hsieh if you want to meet with the speaker.

http://drexelsaslab.appspot.com/seminars/mangharam.html

Closing the loop with Cyber-Physical System Modeling

Speaker: Dr. Rahul Mangharam, University of Pennsylvania
Date: Fri, Feb 22 @ 3pm
Location: 153 University Crossings

Abstract
Cyber-Physical Systems are the next generation of embedded systems
with the tight integration of computing, communication and control of
"messy" plants. I will describe our recent efforts in modeling for
scheduling and control of closed-loop Cyber-Physical Systems across
the domains of medical devices, energy-efficient buildings and
programmable automotive systems. The design of bug-free and safe
medical device software is challenging, especially in complex
implantable devices that control and actuate organs whose response is
not fully understood. Safety recalls of pacemakers and implantable
cardioverter defibrillators between 1990 and 2000 affected over
600,000 devices. Of these, 200,000 or 41%, were due to firmware issues
(i.e. software) that continue to increase in frequency. There is
currently no formal methodology or open experimental platform to test
and verify the correct operation of medical device software within the
closed-loop context of the patient. I will describe our efforts to
develop the foundations of modeling, synthesis and development of
verified medical device software and systems from verified closed-loop
models of the pacemaker and the heart. With the goal to develop a
tool-chain for certifiable software for medical devices, I will walk
through (a) formal modeling of the heart and pacemaker in timed
automata, (b) verification of the closed-loop system, (c) automatic
model translation from UPPAAL to Stateflow for simulation-based
testing, and (d) automatic code generation for platform-level testing
of the heart and real pacemakers. More details here. As time permits,
I will describe our investigations in energy-efficient building
automation in which we coordinate scheduling of controllers for peak
power minimization across multiple plants. We will also briefly
discuss in-vehicle and networked vehicle-to- vehicle programmable
automotive architectures for the future.

Speaker Bio
Rahul Mangharam is the Stephen J Angello Chair and Assistant Professor
in the Dept. of Electrical & Systems Engineering and Dept. of Computer
& Information Science at the University of Pennsylvania. He directs
the Real-Time and Embedded Systems Lab at Penn. His interests are in
real-time scheduling algorithms for networked embedded systems with
applications in automotive systems, medical devices and industrial
control networks.

He received his Ph.D. in Electrical & Computer Engineering from
Carnegie Mellon University where he also received his MS and BS in
2007, 2002 and 2000 respectively. In 2002, he was a member of
technical staff in the Ultra-Wide Band Wireless Group at Intel Labs.
He was an international scholar in the Wireless Systems Group at IMEC,
Belgium in 2003. He has worked on ASIC chip design at Marconi
Communications (1999) and Gigabit Ethernet at Apple Computer Inc.
(2000). Rahul received the 2012 Intel Early Faculty Career Award and
was selected by the National Academy of Engineering for the 2012 US
Frontiers of Engineering.

[Pramod Abichandani]

I am!

Also, the link on the SAS Lab page still points to Derek's page. 

Pramod

--
You received this message because you are subscribed to the Google Groups "DrexelRobotics" group.
To unsubscribe from this group and stop receiving emails from it, send an email to drexelrobotic...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

--

-----------------------------------------

Pramod Abichandani, Ph.D.

Senior Researcher and Assistant Teaching Professor

College of Engineering 

Drexel University

Phone: 215-571-3806 | Fax: 215-895-1695

Email: pv...@drexel.edu

Website: http://www.pramod.co/