Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
    • Locked Files
  • Issues 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 5
    • Merge requests 5
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #143
Closed
Open
Issue created Jul 13, 2021 by Martijn Goorden@mgoorden7u4Reporter

Data-based synthesis should support boolean constants in predicates

Consider the following CIF model:

const bool enabled = false;

plant A:
  controllable c_a;

  location l1:
    initial;marked;
    edge c_a when enabled;
end

Starting data-based synthesis with this model (default settings) results in the following error:

ERROR: Data-based supervisory controller synthesis failed due to unsatisfied preconditions:
 - Unsupported linearized guard: unsupported part "enabled" of guard(s) "enabled": predicate is not supported.

I have the following two remarks:

  1. The documentation does not specify that constants are not supported, i.e., it does not mention constants in the list of restrictions.
  2. Changing the constant variable into an algebraic variable (and never changing its value to create an implicit constant) is supported. As the documentation states that all types are supported for algebraic variables, I think all types of constants should also be supported.
Edited Jul 16, 2021 by Dennis Hendriks
Assignee
Assign to
Time tracking

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent