Skip to content

GitLab

Discrete Event Controller Synthesis · History

Page version Author Changes Last updated
df0b4fff Sebastian Uchitel
Update Discrete Event Controller Synthesis
253a32b5 Sebastian Uchitel
Update Discrete Event Controller Synthesis
750d1508 Sebastian Uchitel
Document permissive keyword in GR1 section of DECS page Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
7b77b282 Sebastian Uchitel
Update Discrete Event Controller Synthesis
48d542c5 Sebastian Uchitel
Update Discrete Event Controller Synthesis
499c0e94 Sebastian Uchitel
Update Discrete Event Controller Synthesis
9f173294 Sebastian Uchitel
Update Discrete Event Controller Synthesis
f2ad1e76 Sebastian Uchitel
Update Discrete Event Controller Synthesis
7a46b66f Sebastian Uchitel
Update Discrete Event Controller Synthesis
1bf635ea Sebastian Uchitel
Move plant to DECS and condition to Modal Transition Systems section Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
f1bb72a0 Sebastian Uchitel
Move Fluent Activity/Concurrency to DECS Unsupported section Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
b8d24337 Sebastian Uchitel
suchitel updated page: Discrete Event Controller Synthesis
19063856 Sebastian Uchitel
suchitel updated page: Discrete Event Controller Synthesis
8f8dd288 Sebastian Uchitel
Update Discrete Event Controller Synthesis
0ae32f45 Sebastian Uchitel
Update Discrete Event Controller Synthesis
c1c8db0e Sebastian Uchitel
Update Discrete Event Controller Synthesis
f961b3cd Sebastian Uchitel
Update Discrete Event Controller Synthesis
7c231d83 Sebastian Uchitel
Update Discrete Event Controller Synthesis
82fae1cb Sebastian Uchitel
Update Discrete Event Controller Synthesis
eab9d4fe Sebastian Uchitel
Update Discrete Event Controller Synthesis