共 50 条
- [1] Automated Software Design and Synthesis for Distributed Control of Aircraft Fuel Systems 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
- [2] AUTOMATED SOFTWARE DESIGN AND SYNTHESIS FOR DISTRIBUTED CONTROL OF AIRCRAFT FUEL SYSTEMS 2013 IEEE/AIAA 32ND DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2013,
- [3] Analysis and Control of Dynamic Distributed Workflows in the Design and Reengineering of Complex Automated Systems PROCEEDINGS OF THE 2018 3RD RUSSIAN-PACIFIC CONFERENCE ON COMPUTER TECHNOLOGY AND APPLICATIONS (RPC), 2018,
- [5] Formal design of distributed control systems with lustre COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 396 - 409
- [8] Distributed controller design for networked control systems 2005 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL & 13TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1 AND 2, 2005, : 755 - 760
- [9] Cooperative validation in distributed control systems design COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, 2007, 4674 : 280 - +
- [10] Design and validation of industrial distributed control systems 2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 4720 - 4725