共 50 条
- [21] Modeling of hybrid systems using continuous and hybrid Petri nets PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 47 - 58
- [23] A Library of Nonlinearities for Modeling and Simulation of Hybrid Systems KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6881 : 72 - 81
- [26] Compositional modeling and refinement for hierarchical hybrid systems JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 68 (1-2): : 105 - 128
- [27] Modeling and controllability for a class of hybrid mechanical systems IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2002, 18 (04): : 563 - 573
- [28] Modeling hybrid systems in Scicos: A case study Proceedings of the 25th IASTED International Conference on Modelling, Identification, and Control, 2006, : 315 - 319
- [29] Modeling and verification of hybrid systems based on equations DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 43 - 52
- [30] On modeling and locomotion of hybrid mechanical systems with impacts PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 2633 - 2638