共 50 条
- [31] Software specification of MERTIS: Modifiable extensible real-time interactive simulation system [J]. SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 235 - 241
- [32] FASTER THAN REAL-TIME SIMULATION BY THE MODULAR MODELING SYSTEM [J]. TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1981, 38 (JUN): : 679 - 680
- [33] Benchmarking of Real-Time Simulation Model of Modular Multilevel Converter [J]. IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, : 6445 - 6451
- [34] BlockSim: An Extensible Simulation Tool for Blockchain Systems [J]. FRONTIERS IN BLOCKCHAIN, 2020, 3
- [36] HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams [J]. FORMAL METHODS, FM 2021, 2021, 13047 : 563 - 580
- [37] Simulation as a decision-making tool for real-time control of flexible manufacturing systems [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, 1998, : 586 - 590
- [38] A Real-time Transient Stability Simulation Tool for Large-scale Power Systems [J]. 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING, 2012,
- [39] The TASM toolset: Specification, simulation, and formal verification of real-time systems - (Tool paper) [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 126 - +
- [40] PolyMPC: An efficient and extensible tool for real-time nonlinear model predictive tracking and path following for fast mechatronic systems [J]. OPTIMAL CONTROL APPLICATIONS & METHODS, 2020, 41 (02): : 709 - 727