Font Size: a A A
Keyword [reachable]
Result: 1 - 20 | Page: 1 of 3
1. The Study Of The Probabilistic Query Processing Techniques And The Analysis Of The Reachable Region For Moving Objects Located In A Constrained Space
2. The Study Of Analysis And Synthesis For Hybrid Systems
3. Networked Control System Petri Net Modeling And Analyzing
4. Research On Characteristics And Control Of The Parallel Stabilization And Tracking Platform With 4TPS-1PS Structure Driven By Electric Cylinders
5. Formal Verification Of Hybrid Systems And Its Application
6. The Study About Scheduling Question In Parallel And Distributed Computing Based On Petri Net
7. Hybrid System Verification Using Reachable Set Over Approximations
8. The Research And Implementation Of Density-based Clustering Algorithm With Pattern Evaluation Methods
9. Studies On Synthesis Approaches Of Robust Predictive Control
10. The Terse Algorihtm For Computing Reachable Matrix Based On Directed Graph Of ISM
11. Algorithmic Analysis Of Hybrid System
12. The Source And Channel Diversity Under General Channel Condition
13. Research On Modeling For The Third-Party Logistics Business Process Based On Petri Net
14. A New Algorithm For Sample Selection Based On The Reachable And Coverage
15. Structural Modeling To Strike The Adjacency Matrix Of Information Retention Method
16. Research On 2D-mesh Topology Classification Based NoC Mapping Technology
17. Time Delay Control System Of Research
18. The Characterization For The Controllability And Reachability Of Switched Linear System
19. Stability Analysis, H_∞Control And Reachable Set Estimation Of Discrete-time Switched Systems
20. Reachable Set Estimation For Neural Networks With Polytopic Uncertainties
  <<First  <Prev  Next>  Last>>  Jump to