Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
monticore
EmbeddedMontiArc
generators
visualisation
Commits
109d39d0
Commit
109d39d0
authored
Nov 11, 2017
by
Manuel Schrick
Browse files
added BumperBot and BumperBotEmergency to list of examples
parent
358874f4
Changes
19
Hide whitespace changes
Inline
Side-by-side
index.htm
View file @
109d39d0
...
...
@@ -3,7 +3,17 @@
<body>
<h1>
SVG Example Outputs
</h1>
<a
href=
"svg/testManuelSchrick.split.normalSplit.html"
>
ExampleWithEdgeCrossing
</a>
<a
href=
"svg/BumperBot/testManuelSchrick.bumperBot.html"
>
BumperBot
</a>
<br>
<br>
<a
href=
"svg/BumperBotEmergency/testManuelSchrick.bumperBotEmergency.html"
>
BumperBotEmergency
</a>
<br>
<br>
<a
href=
"svg/Split/testManuelSchrick.split.normalSplit.html"
>
ExampleWithEdgeCrossing
</a>
<br>
<br>
...
...
svg/BumperBot/testManuelSchrick.bumperBot.actuators.html
0 → 100644
View file @
109d39d0
<!DOCTYPE html>
<html>
<header>
<title>
testManuelSchrick.bumperBot.actuators
</title>
<meta
name=
"viewport"
content=
"width=device-width"
>
</header>
<body
link=
"black"
vlink=
"black"
>
<!-- Bread crumb navigation -->
<br>
<br>
<table>
<tr>
<td
style=
"min-width: 80px;"
/>
<td>
<a
href=
"testManuelSchrick.bumperBot.html"
>
<b><big>
bumperBot
</big></b>
</a>
→
</td>
<td>
<b><big>
actuators
</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data=
"testManuelSchrick.bumperBot.actuators.svg"
type=
"image/svg+xml"
id=
"svg"
width=
"560"
height=
"480"
>
</object>
</body>
</html>
svg/BumperBot/testManuelSchrick.bumperBot.actuators.svg
0 → 100644
View file @
109d39d0
<svg
width=
"100%"
height=
"100%"
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
xmlns:xlink=
"http://www.w3.org/1999/xlink"
>
<svg
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
>
<!-- Canvas: actuators -->
<g
transform=
"translate(40 40)"
>
<rect
id=
"41"
width=
"400"
height=
"320"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
/>
<text
x=
"10"
y=
"25"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"16"
fill=
"black"
>
actuators
</text>
</g>
</svg>
<!-- Component: leftMotor -->
<g
transform=
"translate(120 80)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.actuators.leftMotor"
id=
"43"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
leftMotor
</text>
</g>
<!-- Component: rightMotor -->
<g
transform=
"translate(120 200)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.actuators.rightMotor"
id=
"44"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
rightMotor
</text>
</g><defs>
<marker
id=
"0,0,0"
markerWidth=
"13"
markerHeight=
"13"
refX=
"5"
refY=
"5"
orient=
"auto"
>
<polyline
points=
"0,2 5,5 0,8"
style=
"fill:none; stroke:rgb(0,0,0);
stroke-width:1"
/>
</marker>
</defs><line
stroke-linecap=
"square"
x1=
"40"
y1=
"240"
x2=
"110"
y2=
"240"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<line
stroke-linecap=
"square"
x1=
"40"
y1=
"120"
x2=
"110"
y2=
"120"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<defs>
<!-- Small box indicating a port -->
<rect
id=
"port"
x=
"0"
y=
"0"
width=
"20"
height=
"20"
style=
"fill:white;stroke:rgb(0,0,0);stroke-width:1;fill-opacity:1.0;stroke-opacity:1.0"
/>
</defs><use
x=
"30"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"26"
y=
"240"
transform=
"rotate(0,26,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
rightMotorCmd
</text>
<use
x=
"30"
y=
"110"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"26"
y=
"120"
transform=
"rotate(0,26,120)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
leftMotorCmd
</text>
<use
x=
"110"
y=
"110"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"132"
y=
"120"
transform=
"rotate(0,132,120)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
cmd
</text>
<use
x=
"110"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"132"
y=
"240"
transform=
"rotate(0,132,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
cmd
</text>
</svg>
\ No newline at end of file
svg/BumperBot/testManuelSchrick.bumperBot.controller.html
0 → 100644
View file @
109d39d0
<!DOCTYPE html>
<html>
<header>
<title>
testManuelSchrick.bumperBot.controller
</title>
<meta
name=
"viewport"
content=
"width=device-width"
>
</header>
<body
link=
"black"
vlink=
"black"
>
<!-- Bread crumb navigation -->
<br>
<br>
<table>
<tr>
<td
style=
"min-width: 80px;"
/>
<td>
<a
href=
"testManuelSchrick.bumperBot.html"
>
<b><big>
bumperBot
</big></b>
</a>
→
</td>
<td>
<b><big>
controller
</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data=
"testManuelSchrick.bumperBot.controller.svg"
type=
"image/svg+xml"
id=
"svg"
width=
"1020"
height=
"720"
>
</object>
</body>
</html>
svg/BumperBot/testManuelSchrick.bumperBot.controller.svg
0 → 100644
View file @
109d39d0
<svg
width=
"100%"
height=
"100%"
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
xmlns:xlink=
"http://www.w3.org/1999/xlink"
>
<svg
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
>
<!-- Canvas: controller -->
<g
transform=
"translate(40 40)"
>
<rect
id=
"22"
width=
"860"
height=
"560"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
/>
<text
x=
"10"
y=
"25"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"16"
fill=
"black"
>
controller
</text>
</g>
</svg>
<!-- Component: bumpControl -->
<g
transform=
"translate(210 200)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.controller.bumpControl"
id=
"23"
width=
"200"
height=
"320"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
bumpControl
</text>
</g>
<!-- Component: timer -->
<g
transform=
"translate(490 200)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.controller.timer"
id=
"24"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
timer
</text>
</g><defs>
<marker
id=
"0,0,0"
markerWidth=
"13"
markerHeight=
"13"
refX=
"5"
refY=
"5"
orient=
"auto"
>
<polyline
points=
"0,2 5,5 0,8"
style=
"fill:none; stroke:rgb(0,0,0);
stroke-width:1"
/>
</marker>
</defs><line
stroke-linecap=
"square"
x1=
"410"
y1=
"480"
x2=
"890"
y2=
"480"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<line
stroke-linecap=
"square"
x1=
"410"
y1=
"360"
x2=
"890"
y2=
"360"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<line
stroke-linecap=
"square"
x1=
"40"
y1=
"240"
x2=
"200"
y2=
"240"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<line
stroke-linecap=
"square"
x1=
"690"
y1=
"240"
x2=
"770"
y2=
"240"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
"
/>
<line
stroke-linecap=
"square"
x1=
"770"
y1=
"240"
x2=
"770"
y2=
"120"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
"
/>
<line
stroke-linecap=
"square"
x1=
"770"
y1=
"120"
x2=
"130"
y2=
"120"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
"
/>
<line
stroke-linecap=
"square"
x1=
"130"
y1=
"120"
x2=
"130"
y2=
"360"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
"
/>
<line
stroke-linecap=
"square"
x1=
"130"
y1=
"360"
x2=
"200"
y2=
"360"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<line
stroke-linecap=
"square"
x1=
"410"
y1=
"240"
x2=
"480"
y2=
"240"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<defs>
<!-- Small box indicating a port -->
<rect
id=
"port"
x=
"0"
y=
"0"
width=
"20"
height=
"20"
style=
"fill:white;stroke:rgb(0,0,0);stroke-width:1;fill-opacity:1.0;stroke-opacity:1.0"
/>
</defs><use
x=
"30"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"26"
y=
"240"
transform=
"rotate(0,26,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
bumpPressed
</text>
<use
x=
"890"
y=
"470"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"914"
y=
"480"
transform=
"rotate(0,914,480)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
rightMotorCmd
</text>
<use
x=
"890"
y=
"350"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"914"
y=
"360"
transform=
"rotate(0,914,360)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
leftMotorCmd
</text>
<use
x=
"200"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"222"
y=
"240"
transform=
"rotate(0,222,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
bumpPressedX
</text>
<use
x=
"200"
y=
"350"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"222"
y=
"360"
transform=
"rotate(0,222,360)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
timerSig
</text>
<use
x=
"400"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"398"
y=
"240"
transform=
"rotate(0,398,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
timerCmd
</text>
<use
x=
"400"
y=
"350"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"398"
y=
"360"
transform=
"rotate(0,398,360)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
leftMotorCmdX
</text>
<use
x=
"400"
y=
"470"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"398"
y=
"480"
transform=
"rotate(0,398,480)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
<tspan>
right
</tspan><tspan
x=
"398"
dy=
"12"
>
Motor
</tspan><tspan
x=
"398"
dy=
"12"
>
Cmd
</tspan><tspan
x=
"398"
dy=
"12"
>
X
</tspan></text>
<use
x=
"680"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"678"
y=
"240"
transform=
"rotate(0,678,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
signal
</text>
<use
x=
"480"
y=
"230"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"502"
y=
"240"
transform=
"rotate(0,502,240)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
cmd
</text>
</svg>
\ No newline at end of file
svg/BumperBot/testManuelSchrick.bumperBot.html
0 → 100644
View file @
109d39d0
<!DOCTYPE html>
<html>
<header>
<title>
testManuelSchrick.bumperBot
</title>
<meta
name=
"viewport"
content=
"width=device-width"
>
</header>
<body
link=
"black"
vlink=
"black"
>
<!-- Bread crumb navigation -->
<br>
<br>
<table>
<tr>
<td
style=
"min-width: 80px;"
/>
<td>
<b><big>
bumperBot
</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data=
"testManuelSchrick.bumperBot.svg"
type=
"image/svg+xml"
id=
"svg"
width=
"1120"
height=
"480"
>
</object>
</body>
</html>
svg/BumperBot/testManuelSchrick.bumperBot.sensors.html
0 → 100644
View file @
109d39d0
<!DOCTYPE html>
<html>
<header>
<title>
testManuelSchrick.bumperBot.sensors
</title>
<meta
name=
"viewport"
content=
"width=device-width"
>
</header>
<body
link=
"black"
vlink=
"black"
>
<!-- Bread crumb navigation -->
<br>
<br>
<table>
<tr>
<td
style=
"min-width: 80px;"
/>
<td>
<a
href=
"testManuelSchrick.bumperBot.html"
>
<b><big>
bumperBot
</big></b>
</a>
→
</td>
<td>
<b><big>
sensors
</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data=
"testManuelSchrick.bumperBot.sensors.svg"
type=
"image/svg+xml"
id=
"svg"
width=
"560"
height=
"360"
>
</object>
</body>
</html>
svg/BumperBot/testManuelSchrick.bumperBot.sensors.svg
0 → 100644
View file @
109d39d0
<svg
width=
"100%"
height=
"100%"
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
xmlns:xlink=
"http://www.w3.org/1999/xlink"
>
<svg
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
>
<!-- Canvas: sensors -->
<g
transform=
"translate(40 40)"
>
<rect
id=
"15"
width=
"400"
height=
"200"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
/>
<text
x=
"10"
y=
"25"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"16"
fill=
"black"
>
sensors
</text>
</g>
</svg>
<!-- Component: bumpSensor -->
<g
transform=
"translate(120 80)"
>
<rect
data-name=
"testManuelSchrick.bumperBot.sensors.bumpSensor"
id=
"17"
width=
"200"
height=
"80"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout=
"this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
<text
x=
"10"
y=
"17"
alignment-baseline=
"middle"
style=
"font-weight: bold"
font-family=
"Verdana"
font-size=
"14"
fill=
"black"
>
bumpSensor
</text>
</g><defs>
<marker
id=
"0,0,0"
markerWidth=
"13"
markerHeight=
"13"
refX=
"5"
refY=
"5"
orient=
"auto"
>
<polyline
points=
"0,2 5,5 0,8"
style=
"fill:none; stroke:rgb(0,0,0);
stroke-width:1"
/>
</marker>
</defs><line
stroke-linecap=
"square"
x1=
"320"
y1=
"120"
x2=
"430"
y2=
"120"
style=
"stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
"
/>
<defs>
<!-- Small box indicating a port -->
<rect
id=
"port"
x=
"0"
y=
"0"
width=
"20"
height=
"20"
style=
"fill:white;stroke:rgb(0,0,0);stroke-width:1;fill-opacity:1.0;stroke-opacity:1.0"
/>
</defs><use
x=
"430"
y=
"110"
xlink:href=
"#port"
/>
<text
text-anchor=
"start"
alignment-baseline=
"middle"
x=
"454"
y=
"120"
transform=
"rotate(0,454,120)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
bumpPressed
</text>
<use
x=
"310"
y=
"110"
xlink:href=
"#port"
/>
<text
text-anchor=
"end"
alignment-baseline=
"middle"
x=
"308"
y=
"120"
transform=
"rotate(0,308,120)"
style=
"font-weight: regular"
font-family=
"Verdana"
font-size=
"11"
fill=
"black"
>
pressed
</text>
</svg>
\ No newline at end of file
svg/BumperBot/testManuelSchrick.bumperBot.svg
0 → 100644
View file @
109d39d0
<svg
width=
"100%"
height=
"100%"
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
xmlns:xlink=
"http://www.w3.org/1999/xlink"
>
<svg
xmlns=
"http://www.w3.org/2000/svg"
version=
"1.1"
>
<!-- Canvas: bumperBot -->
<g
transform=
"translate(40 40)"
>
<rect
id=
"0"
width=
"960"
height=
"320"
style=
"fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
/>