𝔖 Bobbio Scriptorium

✦ LIBER ✦

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

✍ Scribed by Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto

Book ID: 121832241
Publisher: The European Union Control Association
Year: 2012
Tongue: English
Weight: 616 KB
Volume: 18
Category: Article
ISSN: 0947-3580
DOI: 10.3166/ejc.18.217-238

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Conference Publications Design Aut

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Contract-based design of control protocols for safety-critical cyber-physical systems

✍ Nuzzo, Pierluigi; Finn, John B.; Iannopollo, Antonio; Sangiovanni-Vincentelli, A 📂 Article 📅 2014 🏛 IEEE Conference Publications ⚖ 688 KB

[IEEE 2013 Workshop on Modeling and Simu

[IEEE 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES) - Berkeley, CA, USA (2013.05.20-2013.05.20)] 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES) - A framework for model-based design of embedded systems for energy management

✍ Molina, Javier Moreno; Pan, Xiao; Grimm, Christoph; Damm, Markus 📂 Article 📅 2013 🏛 IEEE ⚖ 486 KB

[IEEE 2011 7th International Wireless Co

[IEEE 2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC 2011) - Istanbul, Turkey (2011.07.4-2011.07.8)] 2011 7th International Wireless Communications and Mobile Computing Conference - A model-based design methodology for cyber-physical systems

✍ Jensen, Jeff C.; Chang, Danica H.; Lee, Edward A. 📂 Article 📅 2011 🏛 IEEE ⚖ 798 KB

[IEEE 2011 IEEE/IFIP 19th International

[IEEE 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip (VLSI-SoC) - Kowloon, Hong Kong (2011.10.3-2011.10.5)] 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip - Interface model based cyber-physical energy system design for smart grid

✍ Roveda, Janet; Lysecky, Susan; Young-Jun Son, ; Hyungtaek Chang, ; Annamalai, An 📂 Article 📅 2011 🏛 IEEE ⚖ 971 KB

[IEEE 2013 IEEE International Conference

[IEEE 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things(iThings) and IEEE Cyber, Physical and Social Computing(CPSCom) - Beijing, China (2013.08.20-2013.08.23)] 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing - Design of GSM-Based Tele-monitoring and Alarm System for Disposable Diaper

✍ Taichun, Qin; Xiaogang, Li; Yahui, Wang; Ziwei, Liu 📂 Article 📅 2013 🏛 IEEE ⚖ 199 KB