Font Size:
a
A
A
Keyword [Reachable set]
Result: 1 - 20 | Page: 1 of 2
1.
Formal Verification Of Hybrid Systems And Its Application
2.
Hybrid System Verification Using Reachable Set Over Approximations
3.
Studies On Synthesis Approaches Of Robust Predictive Control
4.
Algorithmic Analysis Of Hybrid System
5.
Time Delay Control System Of Research
6.
The Characterization For The Controllability And Reachability Of Switched Linear System
7.
Stability Analysis, H_∞Control And Reachable Set Estimation Of Discrete-time Switched Systems
8.
Reachable Set Estimation For Neural Networks With Polytopic Uncertainties
9.
Some Problems In Quantum Program Verification
10.
Reachable Set Analysis Of Dynamic Systems Subject To State Constraints
11.
Petri Net-based Set Traversal And Deadlock Research Based On Binary Decision Graph
12.
Research On Sampling Techniques For Large-scale Social Networks
13.
On Self-triggered Control Of Multi-agent Systems
14.
Simulation of dynamic systems with uncertain parameters
15.
Application of level set methods to control and reachability problems in continuous and hybrid systems
16.
Reachable Set Estimation Methods For Discrete-time Systems And Their Applications In Fault Detection
17.
Research On Local Stabilization And Fault Diagnosis For T-S Fuzzy Systems
18.
Estimation And Control Of Reachable Set For Singular Systems
19.
Reachable Set Estimation For Discrete-Time Systems With Time-Varying Delay And Disturbances
20.
Research On The Reachable Set Boundary Of Semi-markovian Jump System
<<First
<Prev
Next>
Last>>
Jump to
