Peter Großmann

Learn More
We describe the Periodic Event Scheduling Problem (PESP) based on periodic event networks and extend it by symmetry constraints. The modeling power of the PESP is discussed for automatic calculation of feasible periodic railway timetables. Including the described extensions, complete modeling of integrated regular-interval timetables is possible. Encoding(More)
The periodic event scheduling problem (PESP) is a well studied problem known as intrinsically hard. Its main application is for designing periodic timetables in public transportation. To this end, the passengers' paths are required as input data. This is a drawback since the final paths which are used by the passengers depend on the timetable to be(More)
Counterfeit microelectronics present a significant challenge to commercial and defense supply chains. Many modern anti-counterfeit strategies rely on manufacturer cooperation to include additional identification components. We instead propose Side Channel Authenticity Discriminant Analysis (SICADA) to leverage physical phenomena manifesting from device(More)
This is to certify that I have examined this copy of a master's thesis by Peter Grossmann and have found that it is complete and satisfactory in all respects, and that any and all revisions required by the final examining committee have been made Date:_____________________________ In presenting this thesis in partial fulfillment of the requirements for a(More)
SAT solvers have been already successfully applied in several industrial fields, which are not directly related to propositional logic. In this work, the periodic event scheduling problem (PESP) will be presented and, furthermore, the order encoding from a PESP instance to a SAT instance. The N P-complete PESP is particularly important in several traffic(More)
Railway traffic now and in future faces ever-growing challenges. On the one hand, infrastructure measures must be planned and in the medium respectively long term corresponding operating programs have to be generated. On the other hand, in the short term economical and political reasons exert increasing influence on the requirements of timetabling as well.(More)
  • 1