DSSynth公司 swMATH ID: 26831 软件作者： 亚历山德罗·阿巴特；Iury，Bessa；达里奥·卡塔鲁扎；卢卡斯·科尔代罗（Lucas Cordeiro）；克里斯蒂娜·大卫；帕斯卡·凯塞利（Pascal Kesseli）；丹尼尔·克罗宁 描述： DSSynth是一个MATLAB工具箱，它根据稳定性规范综合数字控制器，并考虑到由传递函数或状态空间方程表示的物理设备的有限字长（FWL）效应。DSSynth考虑数字控制器的定点数字表示和闭环控制系统的动态输入范围。目前，DSSynth工具箱有两个版本：命令行和MATLAB应用程序。 主页： http://dsverifier.org/ 依赖项： Matlab公司 关键词： 欧洲地理信息系统；数字控制综合；有限字长表示；量化；时间采样 相关软件： PESSOA公司；Boost Interval算术；CBMC公司；促进 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 连续设备数字稳定控制器的声音和自动合成。 Zbl 1369.93189号亚历山德罗·阿巴特；伊奥里·贝萨；达里奥·卡塔鲁扎；卢卡斯·科迪罗；克里斯蒂娜·大卫；帕斯卡·凯塞利；丹尼尔·克罗宁 2017 全部的 前5名8位作者引用 2 亚历山德罗·阿巴特 2 伊奥里·贝萨 2 卢卡斯·科迪罗 2 克里斯蒂娜·大卫 2 帕斯卡·凯塞利 2 丹尼尔·科宁 1 达里奥·卡塔鲁扎 1 伊丽莎白·波尔格林 连载1篇 1 信息学报 在1个字段中引用 2 系统论；控制（93至XX） 按年份列出的引文