𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - An assessment of the current status of algorithmic approaches to the verification of hybrid systems

✍ Scribed by Silva, B.I.; Stursberg, O.; Krogh, B.H.; Engell, S.

Book ID: 121880332
Publisher: Ieee
Year: 2001
Weight: 962 KB
Edition: 2001
Volume: 3
Category: Article
ISBN-13: 9780780370616
DOI: 10.1109/.2001.980711

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 40th Conference on Decision and Co

[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - Virtual control systems laboratory

✍ Navaratna, C.; Dayawansa, W.P.; Martin, C.F. 📂 Article 📅 2001 ⚖ 674 KB

[IEEE 40th Conference on Decision and Co

[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - Identifiability of system: an algorithm based on the equivalence approach

✍ Denis-Vidal, L.; Joly-Blanchard, G.; Noiret, C. 📂 Article 📅 2001 ⚖ 137 KB

[IEEE 40th Conference on Decision and Co

[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - Optimizing linear system switching

✍ Lincoln, B.; Rantzer, A. 📂 Article 📅 2001 🏛 Ieee ⚖ 439 KB

[IEEE 40th Conference on Decision and Co

[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - Constructive control of quantum-mechanical systems

✍ Sahoo, D.R.; Salapaka, M.V. 📂 Article 📅 2001 🏛 Ieee ⚖ 385 KB

[IEEE 40th Conference on Decision and Co

[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - A notion of passivity for hybrid systems

✍ Zefran, M.; Bullo, F.; Stein, M. 📂 Article 📅 2001 🏛 Ieee ⚖ 367 KB

[IEEE 40th Conference on Decision and Co

[IEEE 40th Conference on Decision and Control - Orlando, FL, USA (4-7 Dec. 2001)] Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) - An alternative paradigm for control system design

✍ Zhiqiang Gao, ; Yi Huang, ; Jingqing Han, 📂 Article 📅 2001 ⚖ 593 KB