[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Factorizing proofs in timed CSP
- 作者Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 文件大小1783.35KB
- 发表时间1990
- DOI10.1007/bfb0040256
- 页码129-159
Lecture Notes in Control and Information Sciences2222
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCESA.V.BALAKRISHNAN AND M.THOMA · SPRINGER VERLAG · 1979
Lecture Notes in Control and Information Sciences Signal Processing for Control2222
[Lecture Notes in Control and Information Sciences] Decoupling Control Volume 285 ||, · 2006
Lecture Notes in Control and information Sciences 162 Advanced Robot ControlSpronger-Verlag · 1991
[Lecture Notes in Control and Information Sciences] Information and Control in Networks Volume 450 ||Como, Giacomo; Bernhardsson, Bo; Rantzer, Anders · 2014
[Lecture Notes in Control and Information Sciences] Differential Games and Applications Volume 3 || Lecture notesHagedorn, P.; Knobloch, H. W.; Olsder, G. J. · 1977
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 8RUTH F.CURTAIN AND ANTHONY J.PRITCHARD · SPRINGER-VERLAG · 1978
[Lecture Notes in Control and Information Sciences] Robust Control for Unstructured Perturbations — An Introduction Volume 168 || IntroductionDorato, Peter; Fortuna, Luigi; Muscato, G. · 1992
[Lecture Notes in Control and Information Sciences] Robust Control for Unstructured Perturbations — An Introduction Volume 168 || Robust stabilizationDorato, Peter; Fortuna, Luigi; Muscato, G. · 1992
[Lecture Notes in Control and Information Sciences] Robust Control for Unstructured Perturbations — An Introduction Volume 168 || Nevanlinna-pick interpolation theoryDorato, Peter; Fortuna, Luigi; Muscato, G. · 1992
[Lecture Notes in Control and Information Sciences] Robust Control for Unstructured Perturbations — An Introduction Volume 168 || ℍ∞ sensitivity/disturbance-rejection optimizationDorato, Peter; Fortuna, Luigi; Muscato, G. · 1992