Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification

Chih Hong Cheng; Alois Knoll; Christian Buckl; Javier Esparza; Yang Chen

doi:10.1109/CIRA.2009.5423243

Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification

Chih Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza, Yang Chen

Research output: Contribution to conference › Paper › peer-review

Abstract

In this paper, we present our preliminary report in applying formal verification to the design process of robotic systems under dynamic environments; the goal is to complement existing testing or simulation techniques by experimenting an adaptable framework, where veri.cation models with tamable complexity are generated from the simulation model. Our targets are robotic systems with shape-adjustable manipulators (e.g., robot arms), which in essence bring different challenges compared to existing research. By investigating the problem structure, we propose ingredients for successful verification of such systems, conduct experiments, and outline future studies.

Original language	English
Pages	72-77
Number of pages	6
DOIs	https://doi.org/10.1109/CIRA.2009.5423243
State	Published - 2009
Event	2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009 - Daejeon, Korea, Republic of Duration: 15 Dec 2009 → 18 Dec 2009

Conference

Conference	2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009
Country/Territory	Korea, Republic of
City	Daejeon
Period	15/12/09 → 18/12/09

Access to Document

10.1109/CIRA.2009.5423243

Cite this

Cheng, C. H., Knoll, A., Buckl, C., Esparza, J., & Chen, Y. (2009). Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. 72-77. Paper presented at 2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, Daejeon, Korea, Republic of. https://doi.org/10.1109/CIRA.2009.5423243

@conference{5b1ea7d312af4b70bc26971c715d7039,

title = "Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification",

abstract = "In this paper, we present our preliminary report in applying formal verification to the design process of robotic systems under dynamic environments; the goal is to complement existing testing or simulation techniques by experimenting an adaptable framework, where veri.cation models with tamable complexity are generated from the simulation model. Our targets are robotic systems with shape-adjustable manipulators (e.g., robot arms), which in essence bring different challenges compared to existing research. By investigating the problem structure, we propose ingredients for successful verification of such systems, conduct experiments, and outline future studies.",

author = "Cheng, {Chih Hong} and Alois Knoll and Christian Buckl and Javier Esparza and Yang Chen",

year = "2009",

doi = "10.1109/CIRA.2009.5423243",

language = "English",

pages = "72--77",

note = "2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009 ; Conference date: 15-12-2009 Through 18-12-2009",

}

Cheng, CH, Knoll, A, Buckl, C, Esparza, J & Chen, Y 2009, 'Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification', Paper presented at 2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, Daejeon, Korea, Republic of, 15/12/09 - 18/12/09 pp. 72-77. https://doi.org/10.1109/CIRA.2009.5423243

Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. / Cheng, Chih Hong; Knoll, Alois; Buckl, Christian et al.
2009. 72-77 Paper presented at 2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, Daejeon, Korea, Republic of.

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - Examining robotic systems with shape-adjustable manipulators under dynamic environments

T2 - 2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009

AU - Cheng, Chih Hong

AU - Knoll, Alois

AU - Buckl, Christian

AU - Esparza, Javier

AU - Chen, Yang

PY - 2009

Y1 - 2009

N2 - In this paper, we present our preliminary report in applying formal verification to the design process of robotic systems under dynamic environments; the goal is to complement existing testing or simulation techniques by experimenting an adaptable framework, where veri.cation models with tamable complexity are generated from the simulation model. Our targets are robotic systems with shape-adjustable manipulators (e.g., robot arms), which in essence bring different challenges compared to existing research. By investigating the problem structure, we propose ingredients for successful verification of such systems, conduct experiments, and outline future studies.

AB - In this paper, we present our preliminary report in applying formal verification to the design process of robotic systems under dynamic environments; the goal is to complement existing testing or simulation techniques by experimenting an adaptable framework, where veri.cation models with tamable complexity are generated from the simulation model. Our targets are robotic systems with shape-adjustable manipulators (e.g., robot arms), which in essence bring different challenges compared to existing research. By investigating the problem structure, we propose ingredients for successful verification of such systems, conduct experiments, and outline future studies.

UR - http://www.scopus.com/inward/record.url?scp=77951174303&partnerID=8YFLogxK

U2 - 10.1109/CIRA.2009.5423243

DO - 10.1109/CIRA.2009.5423243

M3 - Paper

AN - SCOPUS:77951174303

SP - 72

EP - 77

Y2 - 15 December 2009 through 18 December 2009

ER -

Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this