FREE ELECTRONIC LIBRARY - Online materials, documents

«WELCOME MedLogiQ, CEO William Acevedo Penn Center for Innovation Laurie Actman Galois David Archer Alstom Power Donald Bradley Penn collaborator Ari ...»


MedLogiQ, CEO William Acevedo

Penn Center for Innovation Laurie Actman

Galois David Archer

Alstom Power Donald Bradley

Penn collaborator Ari Brooks

GE Mauricio Castillo-Effen

JCI William Cole

JCI Dan Curtis

Mahle GmbH Joseph Dandy

Penn collaborator Sanjay Dixit, MD

Drexel University Tom Guarriello, Ph.D.

Drexel University M. Ani Hsieh, Ph.D.

Microsoft Research Ethan Jackson

FDA Paul Jones

Tata Consultancy Services Innovation Lab Devadatta M Kulkarni Siemens Martin Lehofer NIST Yan Lu Galois Stephen Magill GrammaTech Michael McDougall Bresslergroup Nicholas McGill Honeywell Paul McLaughlin Boeing Research & Technology Paul Murray MathWorks Meaghan O’Neil JCI Youngchoon Park RTI Paul Pazandak The Wharton School David Robertson Boeing Saurabh Sircar JCI Joe Villani Boeing Research & Technology Vishnu Vithala Princeton University David Walker Intel Jesse Walker Penn collaborator Jin Wen Verisign Labs Andrew West Delaware Valley Regional Planning Commission Fang Yuan MedLogiQ Jim Zerka PRECISE’s “Cyber-Physical Systems Industry Day” is an informal and intimate day-long symposium for leading executives and engineers involved in designing and developing cyber-physical systems, embedded systems, hybrid and control systems, and Internet of Things.


• Act as a launch pad for conversations to tackle increasing technical challenges resulting from the rapidly growing demand for new capabilities and applications with regards to the smart grid, next-generation air transportation system, intelligent transportation systems, smart medical technologies, smart buildings and smart manufacturing

• Showcase PRECISE’s research on real-time systems, control design, sensing, security and applications

• Facilitate the exploration of funding opportunities for private companies, public institutions and other research-based organizations devoted to the development of Cyber-Physical Systems

• Develop an infrastructure for industry to connect with PRECISE to mutually benefit each other to address current and future trends

• Explore the potential for joint technical articles

• Explore the creation of testing and validation tools for distribution to industry AGENDA BREAKFAST & CHECK-IN 9 am - 9:30 am

–  –  –

Ari Brooks Professor of Surgery Chief, Endocrine and Oncologic Surgery Breast Center Director Pennsylvania Hospital Penn Medicine Dr. Brooks is a Surgical Oncologist practicing at the University of Pennsylvania. He has a special interest in translational engineering research, that is the application of new technologies to address problems in surgery and medicine. He has formed multiple successful collaborative teams in many areas of engineering including computer science, plasma physics, material science, electrical and mechanical engineering. He has co-authored 8 patent applications and these have led to 3 start-up companies, all with varied degrees of success. He enjoys mentoring engineering as well as medical students in the area of medical device development.


Mauricio Castillo-Effen Research Engineer General Electric Dr. Mauricio Castillo-Effen is a Research Engineer in the Controls, Electronics, and Signal Processing organization at the General Electric Global Research Center. His background is in control and estimation as applied to robotics, unmanned systems, and automation. He performs research for multiple customers within GE such as Aviation, Oil and Gas, and Transportation, as well as customers external to GE, like the Department of Defense, the Department of Homeland Security, and NASA. He is a member of GE’s Verification and Validation team that is focused on streamlining the development and certification of safety critical systems. He is also heavily involved in GE’s Robotics Initiative that seeks to leverage advances in robotics technologies to improve safety, productivity, and efficiency for GE and its customers.

Dr. Castillo-Effen’s current interests lie in the deployment of “smarter” machines and systems in real and unstructured environments considering multiple perspectives: technical, economic, commercial, social, etc. His expanded interest agenda includes formal analysis, Test and Evaluation, cyber-physical systems, model-based development, human factors, human-machine teaming, trusted autonomy, and ecosystem creation.

Besides his work at GE, Dr. Castillo-Effen is an adjunct faculty member of the Rensselaer Polytechnic Institute and a visiting Professor at Universidad Privada Boliviana. Dr. Castillo-Effen’s work has been published in the form of patents, academic publications at conferences, journals, and books. He holds a Ph.D. from the University of South Florida, a M.Sc. from the University of San Simon/TU Delft, and a B.Sc. from the University of Applied Sciences of Hannover—all in Electrical Engineering.

–  –  –

Paul L. Jones Senior Systems/Software Engineer U. S. Food and Drug Administration Paul Jones works at the U. S. Food and Drug Administration. He is a Senior Systems/Software Engineer in the Center for Devices and Radiological Health, Office of Science and Engineering Laboratories (OSEL) where he serves as an in-house consultant on regulatory matters involving medical device software system safety, software engineering, risk management, and safety/security assurance cases. He divides his time between transitioning high confidence software and systems (cyber-physical systems) research work into FDA’s regulatory science process and national and international standards development, and managing OSEL’s software lab.

Prior to joining FDA, Mr. Jones worked in industry for 20 years gaining extensive experience in systems/ software engineering developing business systems, operating systems, configuration management systems, and quality assurance systems.

Mr. Jones earned a MS degree in Computer Engineering from Loyola College in 1999 and BSE degree in Naval Architecture and Marine Engineering from the University of Michigan in 1974.

–  –  –

Stephen Magill Research Manager Galois, Inc.

Dr. Stephen Magill is a research lead in software security at Galois, Inc., where he is the principal investigator for Galois’ team on DARPA’s Cyber Fault-tolerant Attack Recovery project (CFAR). Prior to joining Galois in 2014, Stephen was a Research Scientist at the Institute for Defense Analyses Center for Computing Sciences (IDA/CCS).

Before that, he was a post-doctoral researcher with Michael Hicks at the University of Maryland, College Park.

His work has addressed software correctness, security, and robustness and spanned both dynamic and static approaches to software analysis.

Stephen earned his Ph.D. in Computer Science from Carnegie Mellon University under the guidance of Peter Lee, Stephen Brookes, and John Reynolds. His thesis work centered on the use of separation logic to prove termination and other liveness properties of heap-manipulating programs. Current research interests include security and predictability of cyber-physical systems, reasoning under uncertainty, and formal aspects of privacy preservation.


–  –  –

Nicholas McGill Electromechanical Engineer Bresslergroup Nick McGill is an Electromechanical Engineer at Bresslergroup, a product design firm in Philadelphia. At Bresslergroup, Nick works on electronics in a range of fields - from wearables to medical devices. When he’s not capturing a schematic or routing a PCB, he’s writing firmware for embedded devices. Nick graduated from both undergraduate and Masters programs at the University of Pennsylvania in electrical, mechanical, and robotics engineering.

–  –  –

Paul Pazandak Research Manager Real-Time Innovations Paul leads RTI’s efforts to acquire and execute government-funded research. He also leads a team of computer scientists seeking to push the edge in the area of real-time complex distributed systems, data analytics & the Industrial Internet of Things (IoT), and security. He has participated and has led government-funded and commercially-funded military research for over 15 years.


–  –  –

Jesse Walker Research Director Intel Jesse Walker is a member of Intel Lab’s Security and Privacy Research, and is the research director for security and privacy in cyberphysical systems. Dr. Walker’s previous role was Intel Corporation’s chief cryptographer from 2005 through 2015. Among his contributions are the discovery of the flaws in Wi-Fi WEP and creation of its successors WPA and WPA2, creation of the theory underlying Intel’s RDRAND instruction, co-designer of the anonymous attestation algorithm in TPM 2.0 and ISO 20009, and co-designer of SHA3 finalist Skein. Dr. Walker earned a Ph.D. in mathematics from the University of Texas at Austin in 1980.


(1) Model-Based Clinical Trials for Medical Device Software - Houssam Abbas (2) Closed-Loop Testing & Validation of Implantable Cardiac Devices - Marco Beccani (3) Sometimes, Money Does Grow On Trees: Data-Driven Control as a Service - Madhur Behl (4) Online Planning for Energy-efficient and Disturbance-Aware UAV Operations - Nicola Bezzo (5) Retrofitting Authentication on OpenICE - Liang Cheng (6) Design & Verification for Autonomous Systems Interacting with Human Operators - Lu Feng (7) Guaranteeing Timing Requirements for Multi-Service Flows in the Cloud - Dagaen Golomb (8) Robust Estimation Using Context-Aware Filtering - Radoslav Ivanov (9) xLAB: Experience Design and Technology Lab - Kuk Jang (10) Managing Model Coverage and Complexity with Abstraction Tree - Zhihao Jiang (11) Publish/Subscribe Middleware with Real-Time Guarantees via SDN - Andrew L. King (12) Data-Driven Robust Taxi Dispatch Approaches - Fei Miao (13) Compositional Synthesis with Parametric Reactive Controllers - Salar Moarref (14) How to Get Your Self-Driving Car a License: Autonomous Vehicle Plan Verification and Execution - Matthew O’Kelly (15) Fast Cars and Faster Decisions: Co-Design of Anytime Computation and Robust Control - Yash Vardhan Pant (16) Automatic Verification of Linear Controller Software - Junkil Park (17) Quadrotor PID Autotuning - Sangdon Park (18) Minimum Actuation and Leader-Selection for Large-Scale Complex Systems: Performance and Minimum Cost Guarantees - Sérgio Pequito (19) Regular Programming over Data Streams - Mukund Raghothaman (20) How can we decrease Alarm Fatigue? An Evaluation of ICU Alarms - Alex Roederer (21) Markov Decision Processes that Hedge - Nimit Singhania (22) Automatic Completion of Distributed Protocols with Symmetry - Abhishek Udupa (23) From Compositional Scheduling to Real-Time Virtualization - Meng Xu (24) NetEgg: Scenario-based Programming for Network Policies - Yifei Yuan NOTES

Similar works:

«2008-2009 ACF-Format Set #4 Round 10 Tossups 1. This case prompted two vehement dissents from Benjamin Curtis and John McLean. One party was the brother of Irene Emerson, whose late husband had moved the family from Missouri to the free territory of Wisconsin. It concluded with Chief Justice Roger Taney declaring the Missouri Compromise to be unconstitutional, and thus Congress had no power to prohibit slavery in the territories. For 10 points, name this 1857 Supreme Court case in which a black...»

«UK Government Paper on Reforming Financial Markets. Contents The Paper at a glance The Paper at a glance 1 Introduction 1 – International consensus and consultation driven – little regulation that will Strengthening regulatory take immediate effect. institutions 2 – New Council for Financial Stability. Systemically significant firms 4 – Enhanced regulatory powers for the FSA. Managing Systemic Risk 5 – Turner Review capital and liquidity proposals supported. Reform of Capital and...»

«MEMBERSHIP REQUIREMENTS BETHEL CHURCH, REDDING, CA You don’t need to become a member to thrive at Bethel Church. Membership is an outward and formalized sign of the commitment in an individual’s heart. As members, we join together for God’s glory and our mutual benefit. Membership is a commitment between the Congregation’s members, one with another and between the Congregation’s leaders and members. IF YOU WANT TO BE A MEMBER, YOU MUST: 1. Have a personal relationship w/Jesus Christ...»

«United States Court of Appeals FOR THE EIGHTH CIRCUIT _ No. 10-3240 _ Sharon Y. Sanders, * * Appellant, * * v. * * Lee County School District No. 1; * Lee County Arkansas Board of * Education; Elizabeth Johnson, * Individually & as President and * Appeal from the United States Member of the Board of Education * District Court for the of Lee County, Arkansas; Milton Hall, * Eastern District of Arkansas. Individually & as Member of the Board * of Education of Lee County, Arkansas; * Victoria...»

«PSALMS The SONGS Thirty-five O LORD, Fight Against Those Who Fight Against Me READ AND OBSERVE Read through Psalm 35 and mark every reference to the LORD, including pronouns and synonyms, with a red triangle. Read through Psalm 35 and mark every reference to the psalmist or the righteous, including all pronouns and synonyms, with a blue capital “R+”. Read through Psalm 35 and mark every reference to the wicked, along with all pronouns and synonyms (i.e. those who fight against me, those...»

«JAZZY 614 SERIES Including Models: Jazzy 614 2S, Jazzy 614 2SP, Jazzy 614 2HD SAFETY GUIDELINES WARNING! An authorized Pride Provider or a qualified technician must perform the initial setup of this power chair and must perform all of the procedures in this manual. The symbols below are used throughout this owner's manual and on the power chair to identify warnings and important information. It is very important for you to read them and understand them completely. WARNING! Indicates a...»

«Evans & Gandolfo Collaborating with the enemy Victoria University Megan Evans and Enza Gandolfo Collaborating with the enemy Abstract: Practice-led research is by its very nature multi-disciplinary. This means that often both the student and the supervisor find themselves, from the very beginning of the project, working across a range of familiar and unfamiliar fields. The postgraduate students we have supervised in the visual arts and creative writing have engaged with ideas ranging from...»

«Draft Subject to Approval 1. a) Regular Council Meeting February 9, 2016 Page 1 of 8 Corporation of the Township of Selwyn Regular Council Meeting Tuesday, February 9, 2016 Council Chambers, 1310 Centre Line A regular meeting of the Council of the Township of Selwyn was held on Tuesday, February 9, 2016 at the Council Chambers, 1310 Centre Line. Present: Mayor Mary Smith Deputy Mayor Sherry Senis Councillor Donna Ballantyne Councillor Gerry Herron Councillor Anita Locke Staff Present: Janice...»

«& Immigrants Explorers, Traders Tracking the Cultural and Social Impacts of the Global Commodity Trade A Curriculum Unit for Grades 9 – 12 ii & Immigrants Explorers, Traders Tracking the Cultural and Social Impacts of the Global Commodity Trade Primary Researchers: Natalie Arsenault, Outreach Director Teresa Lozano Long Institute of Latin American Studies Christopher Rose, Assistant Director Center for Middle Eastern Studies Allegra Azulay, Outreach Coordinator Center for Russian, East...»

«Check against delivery Humanitarian Diplomacy and Principled Humanitarian Action Speech given by Mr Peter Maurer President of the International Committee of the Red Cross 2 October 2014 Maison de la Paix, Geneva, Switzerland _-2This is an important moment as we are at the eve of the launching of the Maison de la Paix on 3 October: Peace deserves a home and there is hardly a better place than Geneva to offer this hospitality to all those who promote peace. It is even better to know that tonight...»

«Instructions to Applicants on completing the EDCTP budget and annual financial reporting forms I. General The form serves two purposes, firstly as the budget form for up to 5 periods, and secondly as the periodic reporting form which should be returned to EDCTP by the Project Coordinator each year on the anniversary of signing the grant contract. Only “eligible” costs should be entered in the budget or actual column. There are 2 types of forms in the spreadsheet; 8 yellow tab coloured...»

«Adult Sunday School Lesson Summary for February 8, 2009 Released on Wednesday, February 4, 2009 Commitment to Confront Lesson Text: 2 Samuel 12:1–7a, 13–15. Background Scripture: 2 Samuel 11:1–12:15. Devotional Reading: Psalm 51:1–9. 2 Samuel 12:1–7a, 13–15 1 And the Lord sent Nathan unto David. And he came unto him, and said unto him, There were two men in one city; the one rich, and the other poor. 2 The rich man had exceeding many flocks and herds: 3 But the poor man had nothing,...»

<<  HOME   |    CONTACTS
2017 www.thesis.dislib.info - Online materials, documents

Materials of this site are available for review, all rights belong to their respective owners.
If you do not agree with the fact that your material is placed on this site, please, email us, we will within 1-2 business days delete him.