Mining Requirements from Closed-Loop Control Models

link

image.png

Pioneer work on the mining requirement (specification) on CPS system.

  1. Need predefined template specification.
  2. Effective solver required, otherwise hard to scale up.