|
|
|
Safe Autonomy with Control Barrier Functions [electronic resource] : Theory and Applications / by Wei Xiao, Christos G. Cassandras, Calin Belta.
by Xiao, Wei [author.] | Cassandras, Christos G [author.] | Belta, Calin [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Digital-Twin-Enabled Smart Control Engineering [electronic resource] : A Framework and Case Studies / by Jairo Viola, YangQuan Chen.
by Viola, Jairo [author.] | Chen, YangQuan [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Robotic Micromanipulation of Zebrafish Larva [electronic resource] / by Songlin Zhuang, Gefei Zhang, Dongxu Lei, Xinghu Yu, Mingsi Tong, Weiyang Lin, Yang Shi, Huijun Gao.
by Zhuang, Songlin [author.] | Zhang, Gefei [author.] | Lei, Dongxu [author.] | Yu, Xinghu [author.] | Tong, Mingsi [author.] | Lin, Weiyang [author.] | Shi, Yang [author.] | Gao, Huijun [author.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Fault-Tolerant Cooperative Control of Unmanned Aerial Vehicles [electronic resource] / by Ziquan Yu, Youmin Zhang, Bin Jiang, Chun-Yi Su.
by Yu, Ziquan [author.] | Zhang, Youmin [author.] | Jiang, Bin [author.] | Su, Chun-Yi [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [electronic resource] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers / edited by Loek Cleophas, Mieke Massink.
by Cleophas, Loek [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings / edited by Ming Xie, Youlun Xiong, Caihua Xiong, Zhencheng Hu.
by Xie, Ming [editor.] | Xiong, Youlun [editor.] | Xiong, Caihua [editor.] | Hu, Zhencheng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff.
by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
RoboCup 2008: Robot Soccer World Cup XII [electronic resource] / edited by Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou.
by Iocchi, Luca [editor.] | Matsubara, Hitoshi [editor.] | Weitzenfeld, Alfredo [editor.] | Zhou, Changjiu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
RoboCup 2009: Robot Soccer World Cup XIII [electronic resource] / edited by Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry.
by Baltes, Jacky [editor.] | Lagoudakis, Michail G [editor.] | Naruse, Tadashi [editor.] | Shiry, Saeed [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Mobile Entity Localization and Tracking in GPS-less Environnments [electronic resource] : Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009, Proceedings / edited by Richard Fuller, Xenofon D. Koutsoukos.
by Fuller, Richard [editor.] | Koutsoukos, Xenofon D [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture.
by Cerone, Antonio [editor.] | Autili, Marco [editor.] | Bucaioni, Alessio [editor.] | Gomes, Cláudio [editor.] | Graziani, Pierluigi [editor.] | Palmieri, Maurizio [editor.] | Temperini, Marco [editor.] | Venture, Gentiane [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
