Optimization of Timed Petri Nets using CP-SAT
Paper in proceeding, 2024
satisfiability solver
constraint programming
timed Petri net
Time-optimal control
Author
Bengt Lennartson
Chalmers, Electrical Engineering, Systems and control
Published in
IFAC Proceedings Volumes (IFAC-PapersOnline)
24058963 (eISSN)
Vol. 58 Issue 1 p. 90-95Conference
Rio de Janeiro, Brazil, 2024-04-28 - 2024-04-30
Categorizing
Subject Categories (SSIF 2011)
Robotics
Computer Science
Identifiers
DOI
10.1016/j.ifacol.2024.07.016