Towards Lab-Based MOOCs: Cyber-Physical Systems, Robotics, and Beyond Garvit Juniwal, Alexandre Donzé, Sanjit A. Seshia UC Berkeley Jeff C. Jensen National.

Slides:

Advertisements

Similar presentations

SOFTWARE TESTING. Software Testing Principles Types of software tests Test planning Test Development Test Execution and Reporting Test tools and Methods.

Advertisements

LabVIEW 7.1 Tutorial. Measurement Lab. MECH262-MECH261 Imran Haider Malik January 16, 2006.

Global Teaching Labs/Highlights for High Schools Serenella Sferza MIT-Italy Program Co-director.

1 Embedded Systems – Shape the World What is it? – Education – Transformational ° Substantial lab component – Global, outreach – Based on a freshman class.

Instructional Model, Circuits/Intro to ECE vs Biomedical Circuits and Signals Section 1, Prof. 1, TA 1,2 35 Students Section 2, Prof. 2, TA 1,2 35 Students.

Access and Excellence: MOOCs & Online Education at UC Berkeley Armando Fox, Academic Director, UC Berkeley MOOCLab 1.

Chatrooms in MOOCs: All Talk and No Action DERRICK COETZEE, ARMANDO FOX, MARTI A. HEARST, BJÖRN HARTMANN UNIVERSITY OF CALIFORNIA, BERKELEY.

National Instruments FRC Robot Modeling Toolkit Topics: The Big Picture: “The V-Digram Design Process” Applying the “V” to Robotics Introduction to LabVIEW.

Chess Review October 4, 2006 Alexandria, VA Edited and presented by Educating a New Generation of Students in Embedded Systems Edward A. Lee Chair of EECS,

February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.

COE Labs Objectives and Benefits. General Objectives 1.Students’ training using state-of-the-art facilities through course labs 2.Enable world-class research.

Undergraduate Majors Computer Science (CSCI) –Systems Option –General Option –Graphics Option –Math/Science Option Computer Information Systems (CINS)

MyUCDavis Course Management Tools CC-FIT11/8/2004.

Advanced Real-Time Simulation Laboratory Prof. Gabriel A. Wainer Dept. of Systems and Computer Engineering

Teaching Embedded Systems to Berkeley Undergraduates EECS124 at UC Berkeley co-developed by Edward A. Lee Sanjit A. Seshia Claire J. Tomlin

NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.

Yale November 18, Self-Configuring Wireless Sensor Networks Andreas Savvides EE & CS Departments Yale University.

1 Software Engineering--Introduction. 2 1.Syllabus, grading, schedule--class + lab--will all be on 2.Contact.

Testing and Monitoring at Penn An Integrated Framework for Validating Model-based Embedded Software Li Tan University of Pennsylvania September, 2003.

Presentation Outline Background Problem assessment Idea development Proposed program Future efforts.

Research into University Education Pieter de Vries Thieme Hennis LDE-CEL

Welcome to Leigh High School Class of 2019 Mrs. Ruybal A-Le Mrs. Perea Li-Z Ms. McQuain, Intervention.

Three Pillars: Content, Structure, Collaboration.

Hybrid Evening AA/AB Degree Program A “North Blend” approach Alison Stevens, North Seattle Community College, Arts, Humanities & Social Sciences Dean Terry.

The Role of Automation in Undergraduate Computer Science Chris Wilcox Colorado State University 3/5/2015.

ODEE Impact Grants money & time to impact key courses with learning technology.

Sparse Coding for Specification Mining and Error Localization Runtime Verification September 26, 2012 Wenchao Li, Sanjit A. Seshia University of California.

1-1 CSE4905/CSE 5600: Networking and Distributed System Lab Bing Wang Computer Science & Engineering Department University of Connecticut Spring 2010.

Hybrid Evening AA/AB Degree Program A “North Blend” approach Alison Stevens, North Seattle Community College, Arts, Humanities & Social Sciences Dean Terry.

EMBEDDED SECURITY EEN 417 Fall /6/13, Dr. Eric Rozier, V1.0, ECE Thanks to Edward Lee and Sanjit Seshia of UC Berkeley.

Four key design issues CITE Digital Literacies Conference MOOC Scaffolding Activity Feedback Flexibility 01.

ECONOMICS AND PERSONAL FINANCE ARLINGTON PUBLIC SCHOOLS DIANA HASULY-ACKMAN SUPERVISOR SOCIAL STUDIES OFFICE.

Technology enabled students? Engineering students use of web- based resources Aidan O’ Dwyer, School of Electrical Engineering Systems, Dublin Institute.

Teaching Functional Verification – Course Organization Design Automation Conference Sunday, June 9, 2002.

Haslingden High School AS / A2 Information & Communication Technology Key Skills ICT – as part of General Studies programme.

1 Minor in Computer Technology Computer Engineering UCSC Baskin School of Engineering.

Best Practices for Introductory Computer Science Valerie Barr, Jessica Bayliss, Monisha Pulimood, Susan Rodger, Ursula Wolz.

Reinventing Education Anant Agarwal edX.org 1. Courtesy Eric Klopfer 2.

Introductory Physics at MIT: 1) Active Learning on MIT Campus 2) edX MOOC to the World 3) Using the edX platform on the MIT Campus John W. Belcher MIT.

The shortest path to learning… ThomsonNOW Personalized Time Saving Easy to Use.

Autograder Better management and evaluation of lab assignments.

Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.

The Performance Evaluation Research Center (PERC) Participating Institutions: Argonne Natl. Lab.Univ. of California, San Diego Lawrence Berkeley Natl.

Friday a.m. Seminar 6 March ANGEL’s first 5 years Growth in number of courses (on-campus & DE) E.g., for fall terms: , , 2006.

Teaching Functional Verification – Course Organization Design Automation Conference Sunday, June 9, 2002.

CS122 Engineering Computation Lab Lab 2 Bruce Char Department of Computer Science Drexel University Winter 2012.

CS 161 Introduction to Computer Science I Winter, 2014: 112 Spring, 2014: 131 Summer, 2014: 132.

Online and Blended Learning: A Creative, Powerful and Challenging Learning Environment.

Probability in EECS Jean Walrand – EECS – UC Berkeley.

Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.

BG 5+6 How do we get to the Ideal World? Tuesday afternoon What gaps, challenges, obstacles prevent us from attaining the vision now? What new research.

Why Study Robotics? shows/curiosity/topics/c-angle-why- should-we-encourage-young-people- study-robotics.htm.

February 14, 2013 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli,

Geoscience Online Education: Present and future On the Cutting Edge 2014 Jonathan Tomkin, University of Illinois.

CHAPTER ELEVEN MANAGING KNOWLEGE. Objectives We have been through some of this already Role of knowledge management Types of knowledge management systems.

Pre-requisite for 20+ ECE Courses

Objectives Overview of the QC Learning Lab Enrolling in online courses

Peer Computing Expert Training Lesson 1 Overview of SPARC and Goals

Introducing Control in an Open Online Course

Transition time? Moving toward student center labs

CSIS 104 –Intro. To Computer Science

Joel Voldman Massachusetts Institute of Technology

فصل نهم از کتاب طراحی آموزشی تألیف :آر.ام گانیه

MBEDDED SOFTWARE SYSTEMS Spring 2004 Spring 2004 Prof. Brian L. Evans

Student Feedback on Robotics in CS1 The Fleet!

TA : Mubarakah Otbi, Duaa al Ofi , Huda al Hakami

Course Organizer Gateway 1 Major Grades – 60% Projects and Tests

Introduction to LabVIEW

Introduction to LabVIEW

Proposed Changes for and beyond

Presentation transcript:

Towards Lab-Based MOOCs: Cyber-Physical Systems, Robotics, and Beyond Garvit Juniwal, Alexandre Donzé, Sanjit A. Seshia UC Berkeley Jeff C. Jensen National Instruments LWMOOCs 2014 August 13, 2014 CPSGrader.org

EECS 149: Intro to Embedded Systems at UC Berkeley Lab on The “Hill-Climbing” Robot S. A. Seshia2 Goal: Online Virtual Lab with learning experience “comparable” to On-Campus Real Lab Garvit, Course TA

EECS149.1x: Cyber-Physical Systems on edX (May-June 2014) Virtual Lab: CyberSim + CPSGrader S. A. Seshia3 Technology based on Formal Methods Simulation-based Grading & Feedback Generation Goals/Faults specified in Signal Temporal Logic Automatic Synthesis of Temporal Logic Testers [EMSOFT 2014]

Key Statistics from EECS149.1x 86% found auto-grader feedback useful for debugging > 90% of solutions that passed CPSGrader worked on the real robot with no or minor modifications [optional hardware track] Majority of students spent 5-10 hours/week 4% of peak enrollment passed the course (342 of 8767) S. A. Seshia4 CPSGrader.org Enable Virtual Labs in Science and Engineering –Your Simulator + CPSGrader = Virtual Lab for Your Course Blend Formal Methods with other forms (e.g., peer grading) –User studies CPSGrader to be released open source in Fall 2014 Future Directions & Collaboration