BDD2Implement swMATH ID: 30631 Software Authors: Khaled, M. Description: BDD2Implement: A Code Generation Tool for Symbolic Controllers. BDD2Implement is a C++ tool to generate hardware/software implementations of BDD-based symbolic controllers. Having the tools SCOTS and SENSE that generate BDD-based sysbolic controllers of (networked) general nonlinear dynamical systems, BDD2Implement completes missing ring in the automatic synthesis technique. BDD2Implement accepts static or dynamic determinized symbolic controllers in the form of BDD-files. The BDD files encodes the controller dynamics as boolean functions. If the provided controller is not determinized, BDD2Implement provides a determinization of the controller. Due to the technquie used in BDD2Implement, the generated implementations are formal. This guarantees the generated codes are exactly achieveing the behaviour in the provided controllers. Consequently, the whole development cycle SCOTS/SENSE/BDD2Implement is now formal. Theoritically (i.e. not implemented in the tool), the generated codes can be converted back to their exact controllers which implies their formality. Homepage: https://gitlab.lrz.de/hcs/sense/tree/master/tools/bdd2implement Source Code: https://gitlab.lrz.de/hcs/sense/tree/master/tools/bdd2implement Related Software: SENSE; pFaces; ROCS; TuLiP; SCOTS; CoSyma; PESSOA Cited in: 1 Document Cited by 2 Authors 1 Khaled, Mahmoud 1 Zamani, Majid Cited in 0 Serials Cited in 1 Field 1 Systems theory; control (93-XX) Citations by Year