hh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Cartwright, Robert
Publications (6 of 6) Show all publications
Taha, W., Zeng, Y., Duracz, A., Xu, F., Atkinson, K., Brauner, P., . . . Philippsen, R. (2016). Developing a first course on cyber-physical systems. ACM SIGBED Review, 14(1), 44-52
Open this publication in new window or tab >>Developing a first course on cyber-physical systems
Show others...
2016 (English)In: ACM SIGBED Review, E-ISSN 1551-3688, Vol. 14, no 1, p. 44-52Article in journal (Refereed) Published
Abstract [en]

Effective and creative Cyber-Physical Systems (CPS) development requires expertise in disparate fields that have traditionally been taught in several distinct disciplines. At the same time, students seeking a CPS education generally come from diverse educational backgrounds. In this paper, we report on our recent experience of developing and teaching a course on CPS. The course addresses the following three questions: What are the core elements of CPS? How should these core concepts be integrated in the CPS design process? What types of modeling tools can assist in the design of Cyber-Physical Systems? Our experience with the first four offerings of the course has been positive overall. We also discuss the lessons we learned from some issues that were not handled well. All material including lecture notes and software used for the course are openly available online.

Place, publisher, year, edition, pages
New York, NY: Association for Computing Machinery (ACM), 2016
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-36619 (URN)10.1145/3036686.3036692 (DOI)
Note

This work is based on an earlier work: Developing a First Course on Cyber-Physical Systems, in Workshop on Embedded and Cyber-Physical Systems Education, WESE, © ACM, 2014. http://dx.doi.org/10.1145/2829957.2829964. The primary support for the development of the course comes from Halmstad University, the Swedish Knowledge Foundation’s CERES centre at Halmstad University, the Swedish Knowledge Foundation’s FAR-EIS project, and the US National Science Foundation CPS Robot Design project. 

Available from: 2018-04-16 Created: 2018-04-16 Last updated: 2018-04-17Bibliographically approved
Taha, W., Cartwright, R., Philippsen, R. & Zeng, Y. (2014). Developing A First Course on Cyber-Physical Systems. In: Martin Edin Grimheden (Ed.), Proceedings of the WESE'14: Workshop on Embedded and Cyber-Physical Systems Education. Paper presented at 2014 Workshop on Embedded and Cyber-Physical Systems Education (WESE’14), New Delhi, India, October 12-17, 2014. New York, NY: ACM Press, Article ID 6.
Open this publication in new window or tab >>Developing A First Course on Cyber-Physical Systems
2014 (English)In: Proceedings of the WESE'14: Workshop on Embedded and Cyber-Physical Systems Education / [ed] Martin Edin Grimheden, New York, NY: ACM Press, 2014, article id 6Conference paper, Published paper (Refereed)
Abstract [en]

Effective and creative cyber-physical systems (CPS) development requires expertise in disparate fields that have traditionally been taught in several distinct disciplines. At the same time, students seeking a CPS education generally come from diverse educational backgrounds. In this paper, we report on our recent experience developing and teaching a course on CPS. The course addresses the following three questions: What are the core elements of CPS? How should these core concepts be integrated in the CPS design process? What types of modeling tools can assist in the design of cyber-physical systems? Our experience with the first three offerings of the course has been positive overall. We also discuss the lessons we learned from some issues that were not handled well. All material including lecture notes and software used for the course are openly available online. © 2014 ACM.

Place, publisher, year, edition, pages
New York, NY: ACM Press, 2014
National Category
Learning Computer and Information Sciences
Identifiers
urn:nbn:se:hh:diva-30603 (URN)10.1145/2829957.2829964 (DOI)2-s2.0-84963760017 (Scopus ID)978-1-4503-3090-9 (ISBN)
Conference
2014 Workshop on Embedded and Cyber-Physical Systems Education (WESE’14), New Delhi, India, October 12-17, 2014
Funder
Knowledge Foundation
Note

This research was supported by Halmstad University, the Swedish Knowledge Foundation (KK) Centre CERES, the Swedish Knowledge Foundation (KK) Environment at Halmstad University, and US NSF CPS awards number 1136099 and 1136104.

Available from: 2016-03-30 Created: 2016-03-30 Last updated: 2018-03-22Bibliographically approved
Zeng, Y., Rose, C., Brauner, P., Taha, W., Masood, J., Philippsen, R., . . . Cartwright, R. (2014). Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). In: Randall Bilof (Ed.), 2014 IEEE International Conference on High Performance Computing and Communications, 2014 IEEE 6th International Symposium on Cyberspace Safety and Security, 2014 IEEE 11th International Conference on Embedded Software and Systems (HPCC, CSS, ICESS): . Paper presented at 16th IEEE International Conference on High Performance Computing and Communications HPCC 2014\11th IEEE International Conference on Embedded Software and Systems ICESS 2014\6th International Symposium on Cyberspace Safety and Security CSS 2014, Paris, France, Aug. 20-22, 2014 (pp. 550-557). Piscataway, NJ: IEEE Computer Society
Open this publication in new window or tab >>Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract)
Show others...
2014 (English)In: 2014 IEEE International Conference on High Performance Computing and Communications, 2014 IEEE 6th International Symposium on Cyberspace Safety and Security, 2014 IEEE 11th International Conference on Embedded Software and Systems (HPCC, CSS, ICESS) / [ed] Randall Bilof, Piscataway, NJ: IEEE Computer Society, 2014, p. 550-557Conference paper, Published paper (Refereed)
Abstract [en]

We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as a way to study this question, and showed how several basic aspects of CPS can be modeled clearly in a language with a small set of constructs. This paper reports on the result of our analysis of two, more complex, case studies from the domain of rigid body dynamics. The first one, a quadcopter, illustrates that previously proposed core language can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why we should add language support for static partial derivatives, namely that it would significantly improve the way models of rigid body dynamics can be expressed. © 2014 IEEE.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Computer Society, 2014
Keywords
Mathematical model, Equations, Testing, Semantics, Analytical models, Rotors, Computational modeling
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-35720 (URN)10.1109/HPCC.2014.119 (DOI)000380560600088 ()2-s2.0-84949924020 (Scopus ID)978-1-4799-6123-8 (ISBN)
Conference
16th IEEE International Conference on High Performance Computing and Communications HPCC 2014\11th IEEE International Conference on Embedded Software and Systems ICESS 2014\6th International Symposium on Cyberspace Safety and Security CSS 2014, Paris, France, Aug. 20-22, 2014
Funder
Knowledge FoundationSwedish Foundation for Strategic Research
Note

An extended version of this manuscript was presented at the DSLRob 2013 Workshop. This abridged manuscript is submitted for review at the conference level. Funding: US NSF CPS award 1136099, Swedish KK-Foundation CERES and CAISR Centres, and the Swedish SSF NG-Test Project.

Available from: 2018-02-20 Created: 2018-02-20 Last updated: 2018-03-23Bibliographically approved
Taha, W., Cartwright, R., Philippsen, R. & Zeng, Y. (2013). A First Course on Cyber Physical Systems. In: : . Paper presented at 2013 Workshop on Embedded and Cyber-Physical Systems Education (WESE), Montreal, Canada, October 3, 2013.
Open this publication in new window or tab >>A First Course on Cyber Physical Systems
2013 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Effective and creative CPS development requires expertise in disparate fields that have traditionally been taught in distinct disciplines. At the same time, students seeking a CPS education generally come from diverse educational backgrounds. In this paper we report on our recent experience developing and teaching a course on CPS. The course can be seen as a detailed proposal focused on three three key questions: What are the core elements of CPS? How can these core concepts be integrated in the CPS design process? What types of modeling tools can assist in the design of cyber-physical systems? Experience from the first two offerings of the course is promising, and we discuss the lessons learned. All materials including lecture notes and software used for the course are openly available online.

National Category
Computer Systems
Identifiers
urn:nbn:se:hh:diva-24060 (URN)
Conference
2013 Workshop on Embedded and Cyber-Physical Systems Education (WESE), Montreal, Canada, October 3, 2013
Funder
Knowledge FoundationVINNOVA
Note

This research was supported by Halmstad University, the Swedish Knowledge Foundation (KK) Centre CERES, the Swedish Knowledge Foundation (KK) Environment at Halmstad University, and US NSF CPS awards number 1136099 and 1136104.

Available from: 2013-12-02 Created: 2013-12-02 Last updated: 2018-03-22Bibliographically approved
Zeng, Y., Rose, C., Brauner, P., Taha, W., Masood, J., Philippsen, R., . . . Cartwright, R. (2013). Modeling Basic Aspects of Cyber-Physical Systems, Part II. In: Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich (Ed.), Proceedings DSLRob 2013: . Paper presented at 4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-13).
Open this publication in new window or tab >>Modeling Basic Aspects of Cyber-Physical Systems, Part II
Show others...
2013 (English)In: Proceedings DSLRob 2013 / [ed] Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich, 2013Conference paper, Published paper (Refereed)
Abstract [en]

We consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed a core language called Acumen as a way to study this question, and showed how several basic aspects of CPS can be modeled clearly in a language with a small set of constructs. This paper reports on the result of our analysis of two more complex case studies from the domain of rigid body dynamics. The first one, a quadcopter, illustrates that Acumen can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why explicit support for static partial derivatives can significantly improve the expressivity of a CPS modeling language.

National Category
Robotics
Identifiers
urn:nbn:se:hh:diva-24056 (URN)
Conference
4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-13)
Funder
VinnovaKnowledge Foundation
Note

This paper is a followup to a paper presented at the DSLRob 2012 Workshop with the same main title. This second part focuses on modeling rigid body dynamics.

This work was supported by the US NSF CPS award 1136099, Swedish KK-Foundation CERES and CAISR Centres, and the Swedish SSF NG-Test Project.

Available from: 2013-12-02 Created: 2013-12-02 Last updated: 2018-03-22Bibliographically approved
Taha, W. & Cartwright, R. (2013). Some Challenges for Model-Based Simulation. In: David Broman & Gabor Karsai (Ed.), Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop: December 3, Vancouver, Canada. Paper presented at The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3, 2013 (pp. 1-4). Linköping: Linköping University Electronic Press
Open this publication in new window or tab >>Some Challenges for Model-Based Simulation
2013 (English)In: Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop: December 3, Vancouver, Canada / [ed] David Broman & Gabor Karsai, Linköping: Linköping University Electronic Press, 2013, p. 1-4Conference paper, Published paper (Refereed)
Abstract [en]

Comprehensive analytical modeling and simulation of cyber-physical systems is an integral part of the process that brings novel designs and products to life. But the effort needed to go from analytical models to running simulation code can impede or derail this process. Our thesisis that this process is amenable to automation, and that automating it will accelerate the pace of innovation. This paper reviews some basic concepts that we found interesting or thought-provoking, and articulates some questions that may help prove or disprove this thesis. While based on ideas drawn from different disciplines, we observe that all these questions pertain in a profound way to how we can reason and compute with real numbers.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2013
Series
Linköping Electronic Conference Proceedings, ISSN 1650-3686 ; 90
National Category
Computer Systems
Identifiers
urn:nbn:se:hh:diva-24058 (URN)978-91-7519-451-6 (ISBN)
Conference
The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3, 2013
Funder
Knowledge FoundationVinnova
Note

This manuscript is a reduced and edited revision of an invited paper entitled “The Trouble with Real Numbers” and presented at the WS4C workshop of INFORMATIK 2011 held in Berlin.

This research was supported by Halmstad University, the Swedish Knowledge Foundation (KK) Centre CERES, the Swedish Knowledge Foundation (KK) Environment at Halmstad University, and US NSF CPS awards number 1136099 and 1136104.

Available from: 2013-12-02 Created: 2013-12-02 Last updated: 2018-03-22Bibliographically approved
Organisations

Search in DiVA

Show all publications