4TC00 Home
Course info
Study guide
Exams and grading
Timetable
Deadlines
Downloads
FAQ
Modules
1: Eclipse, Groups, Basics
2: Types 1, Data
3: Reuse 1, Time, SVG
4: MBSE
5: Channels, Types Reuse 2
6: Functions, Stochastics
7: Git and GitKraken
Assignments
Midterm assignment
Midterm assignment grading
Individual grading
Final assignment
Final assignment grading
Peer review
Fraud
Festo workstations
Festo hardware manual
Festo workstations in lab
Digital twins
TwinCAT
TwinCAT setup
TwinCAT control of digital twin
TwinCAT control of Festo WS
TwinCAT tips and tricks
TwinCAT CIF code gen subset
Reference material
CIF simulation
CIF SVG
Eclipse IDE
Advanced
Acknowledgements
4TC00 Home
Index
Symbols
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
I
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
Symbols
!
channel parameter usage restriction
?
channel parameter usage restriction
~
channel parameter usage restriction
A
add default initial values
implementation
optimality
preprocessing
renaming
size considerations
supported specifications
addressable
algebraic variable
eliminate
equation
application
see also applications view
terminate
applications
see also applications view
applications view
auto expand
auto remove
auto terminate
child
expansion
open
parent
removal
remove
remove all
running
show
status
status legend
terminate
terminate all
termination
tree
Assignment
,
[1]
assignment
addressable
left hand side
multi-assignment
multiple
order
right hand side
value
auto expand
applications view
auto remove
applications view
auto terminate
applications view
automata to string casts
eliminate
automatic input mode
automatic mode choice algorithm option
automatic mode transition duration option
limitations
automaton
definition
instantiation
kindless
monitor
plant
regular
requirement
supervisor
supervisory kind
automaton definition
parameters
,
[1]
automaton definition parameter
algebraic
automaton
channel
component
event
see also channel parameter usage restriction
automaton instantiation
arguments
,
[1]
automaton self reference
eliminate
B
boolean
literal
type
value
branch
C
channel
dataless
declaration
receive
received value
receiver
send
sender
synchronization
void
channel parameter usage restriction
!
?
~
flags
checkout
CIF 3 code generator
preprocessing
CIF 3 merger
example
invariants
merge compatibility
merge problems
options
preprocessing
shared events
shared variables
start
CIF 3 PLC code generator
preprocessing
CIF 3 simulator
console output
deadlock
environment events
fixed output step size
history
input components
input modes
Java compiler
maximum delay
non-urgent events
normal output
ODE solver
options
output
output components
performance
plot visualizer
print output
real-time simulation
reset
runtime error
simulation end time
simulation of traces
start
state visualizer
stochastic distributions
supported specifications
SVG visualization
termination
trajectory data
undo
CIF explorer
options
preprocessing
start
supported specifications
CIF to CIF transformer
add default initial values
available transformations
convert switch expressions to if expressions
eliminate algebraic variables
eliminate automata to string casts
eliminate automaton self references
eliminate component definition/instantiation
eliminate constants
eliminate enumerations
eliminate equations
eliminate groups
eliminate if updates
eliminate monitors
eliminate state/event exclusion invariants
eliminate tau event
eliminate the use of locations in expressions
eliminate tuple field projections
eliminate type declarations
lift events
linearize (merge)
linearize (product)
merge enumerations
options
pretty printer
push print file declarations into print declarations
push SVG file declarations into other CIF/SVG declarations
rationale
remove CIF/SVG declarations
remove I/O declarations
remove position information
remove print declarations
remove requirements
simplify others
simplify values
simplify values (no references)
simplify values (no references, optimized)
simplify values (optimized)
start
transformation descriptions
CIF/SVG declaration
remove
see also SVG declaration
clone
command
execute
commit
component
,
[1]
automaton
automaton instantiation
definition
group
group instantiation
component definition
eliminate
component instantiation
eliminate
console
active
clear
output
performance
reduce output
switch
constant
eliminate
expression
value
continuous variable
derivative
equation
convert switch expressions to if expressions
implementation
optimality
size considerations
create
directory
file
project
D
deadlock
debug
maximum delay
print output
SVG input
SVG visualization
declaration
multiple
order
delete
project
derivative
continuous variable
equation
directory
create
location
properties
refresh
rename
workspace
discrete variable
initial value
value change
do
E
Eclipse
console
customize
file
folder
metadata
project
refresh
rename
settings
terminology
Eclipse IDE
eclipse.ini
edge
assignment
do
guard
multiple events
no events
self loop
,
[1]
take
update
when
edit
file
text
editor
error
file
marker
text
warning
eliminate algebraic variables
implementation
optimality
preprocessing
size considerations
supported specifications
eliminate automata to string casts
implementation
optimality
preprocessing
size considerations
supported specifications
eliminate automaton self references
implementation
preprocessing
size considerations
supported specifications
eliminate component definition/instantiation
implementation
size considerations
eliminate constants
implementation
optimality
preprocessing
size considerations
supported specifications
eliminate enumerations
implementation
preprocessing
renaming
size considerations
supported specifications
eliminate equations
implementation
optimality
preprocessing
size considerations
supported specifications
eliminate groups
implementation
preprocessing
renaming
size considerations
supported specifications
eliminate if updates
implementation
optimality
preprocessing
size considerations
supported specifications
eliminate monitors
implementation
optimality
preprocessing
size considerations
supported specifications
eliminate state/event exclusion invariants
implementation
optimality
preprocessing
renaming
size considerations
supported specifications
eliminate tau event
implementation
renaming
size considerations
eliminate the use of locations in expressions
implementation
optimality
preprocessing
renaming
size considerations
supported specifications
eliminate tuple field projections
implementation
size considerations
eliminate type declarations
implementation
preprocessing
size considerations
supported transformations
enabledness
event
enumeration
declaration
eliminate
literal
merge
type
value
environment events
input modes
equation
algebraic variable
benefit
continuous variable
derivative
eliminate
error
editor
event
channel
controllability
controllable
declaration
,
[1]
disabled
enabled
enabledness
input
interactive
lift to specification
multiple on edge
placement
synchronize
tau
uncontrollable
urgency
,
[1]
Example
,
[1]
execute
command
execution
existing
project
expansion
applications view
explorer
see CIF explorer
expression
computation
constant
evaluation
literal
F
F2
fetch
file
create
edit
editor
location
project
properties
,
[1]
refresh
rename
right click
size
flags
channel parameter usage restriction
format specifier
%b
%B
%d
%e
%E
%f
%g
%G
%s
%S
%x
%X
alignment
explicit indexing
flags
grouping
implicit indexing
indexing
justification
leading space
padding
sign
syntax
thousand separator
width
zero padding
frame
intermediate
function
application
body
call
internal
internal vs external
local variables
parameters
return type
return value
side effects
standard library
statements
user-defined
function statements
assignment
break
if
return
while
G
goto
group
definition
eliminate
instantiation
guard
multiple
splitting
I
I/O declaration
print declaration
print file declaration
remove
SVG copy declaration
SVG declaration
SVG file declaration
SVG input mapping
SVG move declaration
SVG output mapping
if update
eliminate
import
directories
group merging
library
project
initial
initial value
default
discrete variable
explicit
implicit
initialization
consistency
,
[1]
cyclic dependencies
predicate
restricted
Inkscape
,
[1]
changing ids
coordinate system
document size
flowRoot
height
text area
width
XML editor
input component
see input mode
input mode
automatic input mode
interactive console input mode
interactive GUI input mode
overview
semi-automatic mode
SVG input mode
input variable
co-simulation example
hardware example
merging CIF models
integer
limits
literal
overflow
type
value
integrator options
algorithm
number of steps
step sizes
tolerances
interactive console input mode
semi-automatic mode
interactive GUI input mode
semi-automatic mode
Intro
,
[1]
invariant
eliminate state/event exclusion invariants
kindless
plant
regular
requirement
state
supervisor
supervisory kind
L
lift events
implementation
preprocessing
renaming
size considerations
supported specifications
linearize
communication
,
[1]
implementation
,
[1]
merge
non-determinism
,
[1]
optimality
,
[1]
order
,
[1]
preprocessing
,
[1]
product
received values
,
[1]
renaming
,
[1]
size considerations
,
[1]
supported specifications
,
[1]
tuple field projections
,
[1]
urgency
,
[1]
linked
project
list
,
[1]
concatenation
dynamic
fixed
indexing
literal
projection
slicing
type
,
[1]
value
,
[1]
literal
boolean
enumeration
expression
integer
list
real
string
tuple
value
livelock
location
,
[1]
as variable
directory
file
initial
invariant
nameless
project
urgency
versus variable
,
[1]
M
marker
editor
predicate
marking
master branch
memory
configure
console
console output
settings
tweak
merge
merge conflict
merge enumerations
default initial values
implementation
preprocessing
renaming
size considerations
supported specifications
metadata
Eclipse
settings
workspace
model
monitor
eliminate
monitoring
monitor automaton
self loops
N
non-determinism
normal console output
option
output details
state filtering
O
observing
see monitoring
ODE
bisection
bracketing
discontinuity
fixed output step size
guard splitting
integration
integrator options
interval
IVP
linear ODE
maximum check interval
maximum delay
nonlinear ODE
numeric integration
numeric root finding
root finder options
root finding
root finding problem
simulation end time
step size
ODE solver
see ODE
optimized)
implementation
optimality
preprocessing
size considerations
supported specifications
output
amount
debug
mode
normal
warning
output component
real-time
output components
see simulation output
P
Package Explorer
view
performance
applications
close
console output
integrator step sizes
Java compiler
position information
reduce output
root finding maximum check interval
simulation
simulation frame rate
SVG input
terminate
plant
PLC
see CIF 3 code generator
plot visualizer
data points
disable
enable
filtering
modes
multiple
range
reset
save plot image
trajectory data relation
undo
pretty printer
see CIF to CIF transformer
print
declaration
print declaration
combining filters
escaping
extended trace
file
post text
pre text
push
quoting
remove
scoping
state filtering
stderr
stdout
target
text to print
transition centric view
transition filtering
virtual labels
print file declaration
path
push
remove
scoping
special target
stderr
stdout
uniqueness
print output
disable
enable
example
examples
footer
header
line-based
order
overwrite
print declaration
print file declaration
printing to file
reset
simulation
text formatting
,
[1]
tutorial
undo
printfile
see print file declaration
problems
view
project
create
default location
delete
existing
file
import
linked
location
properties
refresh
remove
rename
workspace
,
[1]
Project Explorer
view
properties
directory
file
,
[1]
project
view
pull
push
push print file declarations into print declarations
implementation
preprocessing
size considerations
supported specifications
push SVG file declarations into other CIF/SVG declarations
implementation
preprocessing
size considerations
supported specifications
R
real
literal
type
value
real-time simulation
disable
enable
frame
frame rate
intermediate frame
intermediate state
model time delta
simulation speed
trajectory data
recommended
text editor settings
view
refresh
directory
file
project
remote
removal
applications view
remove
applications view
project
remove all
applications view
remove CIF/SVG declarations
implementation
size considerations
remove I/O declarations
implementation
size considerations
remove position information
implementation
size considerations
remove print declarations
implementation
size considerations
remove requirements
rename
directory
file
project
repository
requirement
remove
right click
file
root finder options
algorithm
false position
Illinois
maximum check interval
maximum iterations
Pegasus
Regula Falsi
tolerances
S
seealso folder
directory
seed
automatic mode choice algorithm option
automatic mode transition duration option
CIF 3 simulator normal console output
stochastic distributions
self loop
,
[1]
settings
Eclipse
metadata
recommended
workspace
simplify others
preprocessing
size considerations
supported specifications
simplify values
implementation
optimality
preprocessing
size considerations
supported specifications
simplify values (no references
,
[1]
,
[2]
,
[3]
,
[4]
simplify values (no references)
implementation
optimality
preprocessing
size considerations
supported specifications
simplify values (no references, optimized)
simplify values (optimized)
implementation
optimality
preprocessing
size considerations
supported specifications
simulate
simulation
,
[1]
urgency
simulation output
console
normal console output
plot visualizer
print output
real-time
state visualizer
SVG visualization
trajectory data
single
state space; explorer
state space; generator
size
file
specification
staging area
stash
state
,
[1]
intermediate
invariant
state space
,
[1]
state visualizer
contents
disable
enable
filtering
icons
legend
multiple
reset
undo
updates
stochastics
constant
continuous
discrete
distribution
sampling
string
literal
type
value
supervisor
supervisory controller synthesis
SVG
colors
copy declaration
declarations
flowRoot
id
Inkscape
input event
input mapping
input mode
interactive event
interactivity
move declaration
output mapping
see also SVG visualization
text
tspan
tutorial
viewer
visualization
W3C
XML
SVG copy declaration
application
example
file
id
order
,
[1]
overlap
placement
post
postfix
pre
prefix
root
syntax
uniqueness
SVG declaration
push
SVG copy declaration
SVG input mapping
SVG move declaration
SVG output mapping
SVG file declaration
completeness
path
push
scoping
uniqueness
SVG input
SVG input mapping
completeness
if event input mapping
single event input mapping
uniqueness
SVG input mode
debugging
frame rate
hovering
interactive groups
performance
queue
responsiveness
simulation
SVG move declaration
application
conflicts
coordinates
example
file
graphical elements
id
order
syntax
to
x
x coordinate
y
y coordinate
SVG output - Fill and Display
SVG output - Width and Transform
SVG output mapping
application
attribute
CSS style attributes
escaping
example
file
id
order
quoting
spaces
SVG presentation attributes
syntax
tabs
text
text labels
type
uniqueness
value
whitespace
SVG viewer
export
GIF
JPEG
PNG
refresh
save as
SVG
SVG visualization
application order
Batik
buffers/products example
colors
console output
coordinate systems
copy example
copy of a copy
debugging
demo
disable
enable
examples
export
first example
grouping
,
[1]
lamps example
literal values
move example
rate example
record
reset
runtime error
save as
scalability
,
[1]
,
[2]
scaling
,
[1]
see also SVG
simple solutions
simulation
stack trace
sun/moon example
SVG file declaration
SVG standard
tank example
text formatting
undo
updating multiple attributes
variable width
visibility
visualizer
walk example
workstation example
y-axis invert trick
SVG visualizer
see SVG viewer
see SVG visualization
svgcopy
see SVG copy declaration
svgfile
see SVG file declaration
svgin
see SVG input mapping
svgmove
see SVG move declaration
svgout
see SVG output mapping
switch expression
convert
synchronization
eliminate
,
[1]
guards
tau
T
tau
event
explicit
implicit
synchronization
tau event
eliminate
terminate
application
applications view
terminate all
applications view
terminology
text
edit
editor
text editor
carriage return
CR
LF
line feed
line numbers
settings
spaces
tabs
whitespace
text formatting
,
[1]
%%
columns
conversions
escaping
format patterns
format specifiers
introduction
large numbers
left alignment
lower case
quoting
real values
reference documentation
tutorial
unused values
upper case
time
variable
timed system
timing
tools
CIF 3 code generator
CIF 3 merger
CIF 3 simulator
CIF explorer
CIF to CIF transformer
pretty printer
trace
,
[1]
trajectory data
disable
enable
file
filtering
fixed output step size
ODE solver
output
prettify
real-time simulation
reset
see ODE
time points
types
undo
transition
event
time
tuple
eliminate field projections
indexing
literal
packing
projection
type
unpacking
value
,
[1]
tutorial
print output
SVG
text formatting
TwinCAT
A little debugging
type
boolean
declaration
enumeration
integer
list
,
[1]
real
string
tuple
type declaration
eliminate
U
update
urgency
event
,
[1]
location
simulation
urgent
see also urgency
V
validation
value
boolean
constant
enumeration
integer
list
,
[1]
literal
real
string
tuple
variable
?
algebraic
continuous
different kinds
discrete
input
new value
old value
read
time
versus location
,
[1]
write
view
applications
open
Package Explorer
problems
Project Explorer
properties
recommended
show
vmargs
void
channel
W
warning
editor
when
Working with SVG
workspace
change
directory
metadata
multiple
new projects
project
,
[1]
settings
,
[1]
switch