User contributions
From Murray Wiki
Jump to navigationJump to search- 16:27, 8 May 2018 diff hist +29 Siva Seetharaman, 10 May 2018 →Schedule: add Ioannis at 2pm
- 15:09, 1 October 2017 diff hist +30 Karan Kalsi, Oct 2017 →add Ioannis to 11am on 5 Oct (Thu)
- 21:36, 9 May 2017 diff hist +3 May 2017 meeting schedule →add Ioannis to 21 May (Sun)
- 07:15, 14 April 2017 diff hist -8 Apr 2017 meeting schedule →add Ioannis to 2:30pm on 23 Apr (Sun)
- 07:56, 28 February 2017 diff hist 0 Mar 2017 meeting schedule mv Ioannis from Mon to Sun
- 22:15, 26 February 2017 diff hist +3 Mar 2017 meeting schedule →add Ioannis to 6 Mar (Mon)
- 22:19, 16 January 2017 diff hist +3 Jan 2017 meeting schedule →add Ioannis to 2:30pm on 22 Jan (Sun)
- 19:05, 6 November 2016 diff hist +3 Nov 2016 meeting schedule →16 Nov (Wed)
- 08:00, 16 October 2016 diff hist +59 m Control design for hybrid systems with TuLiP: The temporal logic planning toolbox add "2016 IEEE Conference on Control Applications (CCA)" to venue description, following ieeexplore
- 19:13, 3 October 2016 diff hist +122 Control design for hybrid systems with TuLiP: The temporal logic planning toolbox update to final paper version
- 04:11, 25 September 2016 diff hist +3 Sep/Oct 2016 meeting schedule →add Ioannis to 2 Oct (Sun)
- 08:03, 31 July 2016 diff hist +3 Aug 2016 meeting schedule →add Ioannis to 9 Aug (Tue)
- 21:16, 11 June 2016 diff hist +3 Sergei Avedisov, June 2016 add Ioannis
- 16:13, 6 April 2016 diff hist +14 Group Schedule, Spring 2016 →add Ioannis to Week 9: 23 May - 26 May
- 20:23, 19 January 2016 diff hist +14 Group Schedule, Winter 2016 →add Ioannis to short slot of Week 4: 25 Jan - 29 Jan
- 21:52, 18 January 2016 diff hist +15 Research meetings, Jan/Feb 2016 →add Ioannis to 29 Jan 2016 (Fri)
- 18:26, 14 August 2015 diff hist +6 Group Schedule, Summer 2015 →add Ioannis to Week 12: 31 Aug - 4 Sep
- 21:46, 11 May 2015 diff hist +3 Group Schedule, Spring 2015 →Week 7: 11 May - 15 May
- 20:24, 19 February 2015 diff hist +14 Group Schedule, Winter 2015 →add ioannis to Week 9: 2 Mar - 6 Mar current
- 06:58, 19 February 2015 diff hist +24 Mark Muller, 20 Feb 2015 →add ioannis
- 06:19, 9 December 2014 diff hist +24 Jin Ge, Dec 2014 add Ioannis
- 18:49, 9 October 2014 diff hist +30 George Haller, Oct 2014 add Ioannis
- 18:05, 29 September 2014 diff hist +14 Roy Fox, Oct 2014 add Ioannis
- 06:35, 23 January 2014 diff hist +12 SURF discussions, Jan 2014 →27 Jan (Mon)
- 19:26, 29 December 2013 diff hist -3 SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers no space between list items current
- 19:21, 29 December 2013 diff hist -31 m SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers fix captions
- 19:17, 29 December 2013 diff hist +4,139 N SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers initial version
- 19:16, 29 December 2013 diff hist 0 File:Surf2014 partitioning small.gif Ifilippi uploaded a new version of "File:Surf2014 partitioning small.gif": increased size current
- 19:10, 29 December 2013 diff hist +58 N File:Surf2014 partitioning small.gif downsized version of [[Image:Surf2014_partitioning.gif
- 19:08, 29 December 2013 diff hist 0 File:Surf2014 partitioning.gif Ifilippi uploaded a new version of "File:Surf2014 partitioning.gif": trim current
- 18:49, 29 December 2013 diff hist +61 N File:Surf2014 partitioning.gif Animation of TuLiP's partitioning procedure for PWA dynamics.
- 18:43, 29 December 2013 diff hist +213 N File:Surf2014 keymaera train.png Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here]. current
- 18:41, 29 December 2013 diff hist +63 N File:Surf2014 abstraction.png Abstraction of PWA system derived from robot_continuous_pwa.py. current
- 18:00, 29 December 2013 diff hist +164 SURF 2014 →add KeYmaera to List of available projects
- 20:46, 26 August 2013 diff hist +3 September 2013 Meetings →Thu, 5 Sep
- 17:21, 26 November 2012 diff hist 0 m SoCal Control Workshop Carpool 2012-11-30
- 17:17, 26 November 2012 diff hist +20 SoCal Control Workshop Carpool 2012-11-30 →added Ioannis