Hi
user
Admin Login:
Username:
Password:
Name:
TuLiP: a toolbox for hybrid and reactive systems research
--client
enthought
--show
scipy_2012
--room Ballroom_CDE 1219 --force
Next: 11 Lightning Talks - Thursday
show more...
Marks
Author(s):
Scott C. Livingston, Richard M. Murray
Location
Ballroom (CDE)
Date
jul Thu 19
Days Raw Files
Start
15:45
First Raw Start
15:42
Duration
20:00
Offset
0:02:58
End
16:05
Last Raw End
16:06
Chapters
00:00
0:22:47
Total cuts_time
24 min.
raw-playlist
raw-mp4-playlist
encoded-files-playlist
host
archive
public
tweet
mp4
svg
png
assets
release.pdf
TuLiP_a_toolbox_for_hybrid_and_reactive_systems_research.json
logs
Admin:
episode
episode list
cut list
raw files day
marks day
marks day
image_files
State:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
Locked:
clear this to unlock
Locked by:
user/process that locked.
Start:
initially scheduled time from master, adjusted to match reality
Duration:
length in hh:mm:ss
Name:
Video Title (shows in video search results)
Emails:
email(s) of the presenter(s)
Released:
Unknown
Yes
No
has someone authorised pubication
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
========================================================= TuLiP: a toolbox for hybrid and reactive systems research ========================================================= :Author: Scott C. Livingston <slivingston@caltech.edu> and Richard M. Murray <murray@cds.caltech.edu> :Affiliation: California Institute of Technology We present a toolbox for the creation and study of controllers for hybrid systems. It contains modules for - working with n-dimensional polytopes, - refining continuous state space partitions to satisfy reachability properties, - synthesizing, manipulating, and visualizing finite automata as winning strategies for a class of temporal logic-based games, - simulating hybrid executions, and - reading and writing problem solutions to an XML format. The toolbox is named TuLiP (for "Temporal Logic Planning") and written almost entirely in Python, making critical use of NumPy, SciPy, CVXOPT, and matplotlib. While software for hybrid systems research is commonly written in Matlab scripts or otherwise requires the end-user to build from source for her particular platform, TuLiP requires neither. For a standard scientific Python environment, the only additional library may be CVXOPT. Code (re)use and experimentation are easy, and because of this, TuLiP has provided a natural basis for further research and development. Source code and documentation are currently available at http://tulip-control.sourceforge.net In this talk we will describe the problem domain addressed by TuLiP, various use cases, and lessons learning in the Python implementation. We shall include a full example making use of all components and show ways that individual modules are useful more broadly. Major items of the talk will be 1. related work, and the paucity of Python use in hybrid control research, which we argue is a matter of inheritance rather than best practices; 2. overview of the type of hybrid systems represented in TuLiP and relevance to other fields; 3. summary of the major steps going from problem statement to solution; 4. using only the "polytope computations" module; 5. using only "discrete reactive synthesis" related modules, with a brief description about temporal logic synthesis to provide background for those not working on computer aided verification; 6. snippets about recent research using and building on TuLiP; and 7. discussion about the Python-based implementation and lessons learned. For the last item, we will describe challenges faced while developing TuLiP, given its role of "stitching together" several external tools, e.g., Gephi <http://gephi.org/> for large graph visualization and gr1c <http://scottman.net/2012/gr1c> for game solving. We will also touch on liberation from a Matlab-only tool (Mult-Parametric Toolbox; see http://control.ee.ethz.ch/~mpt/), achieved by creating our own Python module for working with polytopes, using NumPy and CVXOPT for computations and matplotlib for visualization. A tool paper describing an earlier version of TuLiP was presented at the conference Hybrid Systems: Computation and Control (HSCC) in April 2011. There have since been substantial additions and improvements. Furthermore, a broader audience can be reached at SciPy 2012, with new opportunity to address designs issues likely shared by other scientific Python developers. Development of TuLiP has been supported in part by the AFOSR through the MURI program, the Multiscale Systems Center (MuSyC) and the Boeing Company.
markdown
Comment:
<?xml version='1.0' encoding='UTF-8'?> <ns0:entry xmlns:ns0="http://www.w3.org/2005/Atom"><ns0:category scheme="http://schemas.google.com/g/2005#kind" term="http://gdata.youtube.com/schemas/2007#video" /><ns0:category label="Education" scheme="http://gdata.youtube.com/schemas/2007/categories.cat" term="Education" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="enthought" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="scipy_2012" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="General" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="ScottC.Livingston" /><ns0:category scheme="http://gdata.youtube.com/schemas/2007/keywords.cat" term="RichardM.Murray" /><ns0:id>http://gdata.youtube.com/feeds/api/videos/AprLua-TIXs</ns0:id><ns0:author><ns0:name>NextDayVideo</ns0:name><ns0:uri>https://gdata.youtube.com/feeds/api/users/NextDayVideo</ns0:uri></ns0:author><ns0:content type="text">Scott C. Livingston, Richard M. Murray</ns0:content><ns0:updated>2012-08-02T23:19:40.000Z</ns0:updated><ns0:published>2012-08-02T23:19:40.000Z</ns0:published><ns1:comments xmlns:ns1="http://schemas.google.com/g/2005"><ns1:feedLink countHint="0" href="https://gdata.youtube.com/feeds/api/videos/AprLua-TIXs/comments?client=ndv" rel="http://gdata.youtube.com/schemas/2007#comments" /></ns1:comments><ns1:group xmlns:ns1="http://search.yahoo.com/mrss/"><ns1:keywords>enthought, scipy_2012, General, ScottC.Livingston, RichardM.Murray</ns1:keywords><ns1:description type="plain">Scott C. Livingston, Richard M. Murray</ns1:description><ns1:title type="plain">TuLiP: a toolbox for hybrid and reactive systems research</ns1:title><ns2:duration seconds="0" xmlns:ns2="http://gdata.youtube.com/schemas/2007" /><ns1:content duration="0" expression="full" isDefault="true" medium="video" type="application/x-shockwave-flash" url="https://www.youtube.com/v/AprLua-TIXs?version=3&f=user_uploads&c=ndv&d=Aarb2r5skm2_yNTuKEinXdAO88HsQjpE1a8d1GxQnGDm&app=youtube_gdata" ns2:format="5" xmlns:ns2="http://gdata.youtube.com/schemas/2007" /><ns1:thumbnail height="360" time="00:00:00" url="http://i.ytimg.com/vi/AprLua-TIXs/0.jpg" width="480" /><ns1:thumbnail height="90" time="00:00:00" url="http://i.ytimg.com/vi/AprLua-TIXs/1.jpg" width="120" /><ns1:thumbnail height="90" time="00:00:00" url="http://i.ytimg.com/vi/AprLua-TIXs/2.jpg" width="120" /><ns1:thumbnail height="90" time="00:00:00" url="http://i.ytimg.com/vi/AprLua-TIXs/3.jpg" width="120" /><ns1:category label="Education" scheme="http://gdata.youtube.com/schemas/2007/categories.cat">Education</ns1:category><ns1:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">enthought</ns1:category><ns1:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">scipy_2012</ns1:category><ns1:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">General</ns1:category><ns1:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">ScottC.Livingston</ns1:category><ns1:category scheme="http://gdata.youtube.com/schemas/2007/developertags.cat">RichardM.Murray</ns1:category><ns1:player url="https://www.youtube.com/watch?v=AprLua-TIXs&feature=youtube_gdata_player" /></ns1:group><ns0:title type="text">TuLiP: a toolbox for hybrid and reactive systems research</ns0:title><ns1:control xmlns:ns1="http://purl.org/atom/app#"><ns1:draft>yes</ns1:draft><ns2:state name="processing" xmlns:ns2="http://gdata.youtube.com/schemas/2007" /></ns1:control><ns0:link href="https://www.youtube.com/watch?v=AprLua-TIXs&feature=youtube_gdata" rel="alternate" type="text/html" /><ns0:link href="https://gdata.youtube.com/feeds/api/videos/AprLua-TIXs/responses?client=ndv" rel="http://gdata.youtube.com/schemas/2007#video.responses" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/videos/AprLua-TIXs/ratings?client=ndv" rel="http://gdata.youtube.com/schemas/2007#video.ratings" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/videos/AprLua-TIXs/complaints?client=ndv" rel="http://gdata.youtube.com/schemas/2007#video.complaints" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/videos/AprLua-TIXs/related?client=ndv" rel="http://gdata.youtube.com/schemas/2007#video.related" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/users/nextdayvideo/uploads/AprLua-TIXs?client=ndv" rel="self" type="application/atom+xml" /><ns0:link href="https://gdata.youtube.com/feeds/api/users/nextdayvideo/uploads/AprLua-TIXs?client=ndv" rel="edit" type="application/atom+xml" /></ns0:entry>
production notes
2012-07-19/13_42_02.dv
Apply:
15:42:02 - 16:04:49 ( 00:22:47 )
S:
15:42:02 -
E:
16:04:49
D:
00:22:47
show more...
vlc ~/Videos/veyepar/enthought/scipy_2012/dv/Ballroom_CDE/2012-07-19/13_42_02.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
15:42:02
seconds: 0.0
Wall: 15:42:02
Duration
00:22:47
16:04:49
seconds: 0.0
Wall: 15:42:02
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2012-07-19/14_04_49.dv
Apply:
16:04:49 - 16:06:36 ( 00:01:47 )
S:
16:04:49 -
E:
16:06:36
D:
00:01:47
show more...
vlc ~/Videos/veyepar/enthought/scipy_2012/dv/Ballroom_CDE/2012-07-19/14_04_49.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
16:04:49
seconds: 0.0
Wall: 16:04:49
Duration
00:01:47
16:06:36
seconds: 0.0
Wall: 16:04:49
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
2012-07-19/13_42_02.dv
2012-07-19/14_04_49.dv
Veyepar
Video Eyeball Processor and Review
