共 50 条
- [1] A reusable state-based guidance, navigation and control architecture for planetary missions [J]. 2000 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 7, 2000, : 269 - 275
- [2] Model-based engineering design for space missions [J]. 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 3907 - 3915
- [4] State-Based Models in Model-Based Testing: A Systematic Review [J]. 2017 IEEE 4TH INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2017, : 942 - 948
- [5] Assurance of Model-Based Autonomy for Robotic Space Missions [J]. 2022 68TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2022), 2022,
- [6] A state-based programming model and system for wireless sensor networks [J]. FIFTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, 2007, : 261 - +
- [7] A Software Architecture for Model-Based Programming of Robot Systems [J]. ADVANCES IN ROBOTICS RESEARCH, 2009, : 135 - 146
- [8] A State-based Probabilistic Risk Assessment Framework for Multi-system Space Missions [J]. 2024 IEEE AEROSPACE CONFERENCE, 2024,
- [9] Model-based trade space exploration for near-earth space missions [J]. 2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 4258 - 4267
- [10] Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking [J]. 2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 786 - 793