User contributions for Ifilippi
From Murray Wiki
Jump to navigationJump to search
8 May 2018
- 16:2716:27, 8 May 2018 diff hist +29 Siva Seetharaman, 10 May 2018 →Schedule: add Ioannis at 2pm
1 October 2017
- 15:0915:09, 1 October 2017 diff hist +30 Karan Kalsi, Oct 2017 →add Ioannis to 11am on 5 Oct (Thu)
9 May 2017
14 April 2017
- 07:1507:15, 14 April 2017 diff hist −8 Apr 2017 meeting schedule →add Ioannis to 2:30pm on 23 Apr (Sun)
28 February 2017
- 07:5607:56, 28 February 2017 diff hist 0 Mar 2017 meeting schedule mv Ioannis from Mon to Sun
26 February 2017
16 January 2017
- 22:1922:19, 16 January 2017 diff hist +3 Jan 2017 meeting schedule →add Ioannis to 2:30pm on 22 Jan (Sun)
6 November 2016
16 October 2016
- 08:0008: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
3 October 2016
- 19:1319:13, 3 October 2016 diff hist +122 Control design for hybrid systems with TuLiP: The temporal logic planning toolbox update to final paper version
25 September 2016
- 04:1104:11, 25 September 2016 diff hist +3 Sep/Oct 2016 meeting schedule →add Ioannis to 2 Oct (Sun)
31 July 2016
11 June 2016
- 21:1621:16, 11 June 2016 diff hist +3 Sergei Avedisov, June 2016 add Ioannis
6 April 2016
- 16:1316:13, 6 April 2016 diff hist +14 Group Schedule, Spring 2016 →add Ioannis to Week 9: 23 May - 26 May
19 January 2016
- 20:2320:23, 19 January 2016 diff hist +14 Group Schedule, Winter 2016 →add Ioannis to short slot of Week 4: 25 Jan - 29 Jan
18 January 2016
- 21:5221:52, 18 January 2016 diff hist +15 Research meetings, Jan/Feb 2016 →add Ioannis to 29 Jan 2016 (Fri)
14 August 2015
- 18:2618:26, 14 August 2015 diff hist +6 Group Schedule, Summer 2015 →add Ioannis to Week 12: 31 Aug - 4 Sep
11 May 2015
19 February 2015
- 20:2420:24, 19 February 2015 diff hist +14 Group Schedule, Winter 2015 →add ioannis to Week 9: 2 Mar - 6 Mar current
- 06:5806:58, 19 February 2015 diff hist +24 Mark Muller, 20 Feb 2015 →add ioannis
9 December 2014
- 06:1906:19, 9 December 2014 diff hist +24 Jin Ge, Dec 2014 add Ioannis
9 October 2014
- 18:4918:49, 9 October 2014 diff hist +30 George Haller, Oct 2014 add Ioannis
29 September 2014
- 18:0518:05, 29 September 2014 diff hist +14 Roy Fox, Oct 2014 add Ioannis
23 January 2014
29 December 2013
- 19:2619: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:2119:21, 29 December 2013 diff hist −31 m SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers fix captions
- 19:1719:17, 29 December 2013 diff hist +4,139 N SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers initial version
- 19:1619: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:1019:10, 29 December 2013 diff hist +58 N File:Surf2014 partitioning small.gif downsized version of [[Image:Surf2014_partitioning.gif
- 19:0819:08, 29 December 2013 diff hist 0 File:Surf2014 partitioning.gif Ifilippi uploaded a new version of "File:Surf2014 partitioning.gif": trim current
- 18:4918:49, 29 December 2013 diff hist +61 N File:Surf2014 partitioning.gif Animation of TuLiP's partitioning procedure for PWA dynamics.
- 18:4318: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:4118:41, 29 December 2013 diff hist +63 N File:Surf2014 abstraction.png Abstraction of PWA system derived from robot_continuous_pwa.py. current
- 18:0018:00, 29 December 2013 diff hist +164 SURF 2014 →add KeYmaera to List of available projects
26 August 2013
26 November 2012
- 17:2117:21, 26 November 2012 diff hist 0 m SoCal Control Workshop Carpool 2012-11-30 No edit summary
- 17:1717:17, 26 November 2012 diff hist +20 SoCal Control Workshop Carpool 2012-11-30 →added Ioannis