Keyphrases
Programmable Controller
100%
Conformance Checking
75%
Test Sequence
59%
IEC 61499
57%
Erlang
57%
Automation System
54%
Supervisory Control Theory
50%
Model-based Testing
50%
Plant Characteristics
50%
Testability
49%
Finite State Machine
48%
Programmable Logic Controller
47%
Controller
42%
Assembly System
42%
Ambient Assisted Living
42%
Sensor Fault Detection
42%
Industry 4.0 (I4.0)
35%
Logic Controller
33%
Runtime Systems
32%
Specification Model
30%
Manufacturing Information Systems
28%
Dynamic Software Update
28%
Information Architecture
28%
Single Input Change
28%
GRAFCET
28%
Runtime Environment
28%
Black-box Testing
26%
Industrial Application
26%
Number of Tests
23%
Mealy Machine
21%
System Testing
21%
Association Rule Mining
21%
Safety-critical
19%
Specification Language
19%
Non-contact Sensor
19%
Dynamic Software Updating
17%
Fault Tolerance
17%
Service-oriented Architecture
17%
Stateflow
17%
Health Status
16%
Minimum Length
14%
Pressure Estimation
14%
Fuel Supply System
14%
Theoretical Extension
14%
Quantitative Semantics
14%
Reduced Set
14%
Controller Implementation
14%
Model Features
14%
Agent Service
14%
Socio-technical
14%
Computer Science
Case Study
73%
Acceptance Tests
69%
Finite-State Machine
61%
Specification Model
54%
Programmable Logic Controller
42%
Failure Detection
42%
Ambient Assisted Living
42%
Sensor Failure
42%
Runtime Environment
42%
Industry 4.0
42%
Automation System
42%
Runtime Systems
35%
Production System
33%
Software Update
28%
Critical System
28%
Association Rules
28%
Conformance Testing
28%
Programming Language
28%
Information Systems
28%
System Architecture
28%
Robotics
28%
Decision-Making
27%
Mealy Machine
23%
fault-tolerance
21%
Real Time Performance
21%
Control Theory
21%
Industrial Applications
21%
Resource Allocation
21%
Specification Language
19%
And-States
19%
Computer Hardware
17%
Service Oriented Architecture
17%
Systems Planning
17%
Unexpected Event
17%
model based testing
14%
Formal Semantics
14%
Lean Principle
14%
Temporal Logic
14%
Supported System
14%
Human Operator
14%
K-Means Clustering
14%
Temporal Dynamic
14%
Environmental Damage
14%
Data Management
14%
Tracking Method
14%
Synthetic Data
14%
Multi-Objective Optimization
14%
Reachable State Space
14%
Epipolar Geometry
14%
Planning Algorithm
14%
Engineering
Testability
64%
Automation System
57%
Test Sequence
50%
Acceptance Tests
50%
Black Box
44%
Finite-State Machine
39%
Conformance
35%
Automotives
33%
Assisted Living
28%
Assembly System
28%
Manufacturing Information System
28%
Gas Fuel Manufacture
28%
Plant Data
28%
Industrial Data
28%
Test Bench
28%
Test Technique
22%
Shop Floor
21%
Limited Design
21%
Large-Scale Systems
21%
Critical System
21%
Illustrates
19%
Limitations
19%
Service-Oriented Architecture
17%
Feature Model
14%
Control System
14%
Supervisory Control
14%
Control Architecture
14%
Augmented Reality
14%
Automated System
14%
Oriented Control
14%
Experimental Platform
14%
Road Surface
14%
Input Combination
14%
Closed Loop
14%
Observability
14%
Physical Behavior
14%
Common Method
14%
Extracted Feature
14%
Fuel Injection System
14%
Setpoints
14%
Input Signal
14%
Feedback Information
14%
Human Operator
14%
Retro-Fitting
14%
Benchmark Case
14%
System Behavior
14%
Feedback Control
14%
Production System
14%
Input Space
14%
Control Dynamics
14%
