Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices 论文

2006IEEE Transactions on Automatic Control引用 265
DOI
Formal Methods in VerificationPetri Nets in System ModelingAdvanced Control Systems Optimization
Advanced Control Systems OptimizationPetri Nets in System ModelingFormal Methods in Verification
相关技术:Petri Nets in System ModelingAdvanced Control Systems OptimizationFormal Methods in Verification
关系图谱

Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices · 作者

J

Jan H. van Schuppen

P

Pieter Collins

L

L.C.G.J.M. Habets