Effective synthesis of switching controllers for linear systems 论文

2000Proceedings of the IEEE引用 222
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 ModelingFormal Methods in VerificationAdvanced Control Systems Optimization
关系图谱

Effective synthesis of switching controllers for linear systems · 作者

A

Amir Pnueli

O

Oded Maler

T

Thao Dang

O

Olivier Bournez

E

Eugène Asarin