Commit fd964646 authored by Ferdie Reijnen's avatar Ferdie Reijnen
Browse files

#364 Added waterway lock benchmark model.

parent 049b1f11
Pipeline #4019 passed with stage
in 0 seconds
//////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2022 Contributors to the Eclipse Foundation
//
// See the NOTICE file(s) distributed with this work for additional
// information regarding copyright ownership.
//
// This program and the accompanying materials are made available
// under the terms of the MIT License which is available at
// https://opensource.org/licenses/MIT
//
// SPDX-License-Identifier: MIT
//////////////////////////////////////////////////////////////////////////////
Model source: Ferdie Reijnen, Martijn Goorden, Joanna van de Mortel-Fronczak and Jacobus Rooda, "Supervisory Control
Synthesis for a Waterway Lock" In: Proceedings of the IEEE Conference on Control Technology and Applications, pages
1562-1568, 2017, doi: https://doi.org/10.1109/CCTA.2017.8062679.
Model repository: https://github.com/ffhreijnen/LockCCTA.
//////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2018, 2022 Contributors to the Eclipse Foundation
//
// See the NOTICE file(s) distributed with this work for additional
// information regarding copyright ownership.
//
// This program and the accompanying materials are made available
// under the terms of the MIT License which is available at
// https://opensource.org/licenses/MIT
//
// SPDX-License-Identifier: MIT
//////////////////////////////////////////////////////////////////////////////
// Synthesize the supervisor.
from "lib:cif" import *;
mkdir("generated", force=true);
cifdatasynth("waterway_lock.cif -mdebug -o generated/waterway_lock.synthesized.cif");
......@@ -32,6 +32,7 @@ public class CifBenchmarksWizard extends CopyFilesNewProjectWizard {
protected Map<String, String> getPathsToCopy() {
Map<String, String> entries = map();
entries.put("benchmarks/festo", "FESTO");
entries.put("benchmarks/waterway_lock", "Waterway lock");
return entries;
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment