東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Designing Trustworthy Autonomous Systems.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Designing Trustworthy Autonomous Systems./
作者:	Mallozzi, Piergiuseppe.
面頁冊數:	1 online resource (195 pages)
附註:	Source: Dissertations Abstracts International, Volume: 83-06, Section: B.
Contained By:	Dissertations Abstracts International83-06B.
標題:	Temporal logic. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=28830262click for full text (PQDT)
ISBN:	9798496575218

Designing Trustworthy Autonomous Systems.
Mallozzi, Piergiuseppe.

Designing Trustworthy Autonomous Systems. - 1 online resource (195 pages)

Source: Dissertations Abstracts International, Volume: 83-06, Section: B.

Thesis (Ph.D.)--Chalmers Tekniska Hogskola (Sweden), 2021.

Includes bibliographical references

The design of autonomous systems is challenging and ensuring their trustworthiness can have different meanings, such as i) ensuring consistency and completeness of the requirements by a correct elicitation and formalization process; ii) ensuring that requirements are correctly mapped to system implementations so that any system behaviors never violate its requirements; iii) maximizing the reuse of available components and subsystems in order to cope with the design complexity; and iv) ensuring correct coordination of the system with its environment.Several techniques have been proposed over the years to cope with specific problems. However, a holistic design framework that, leveraging on existing tools and methodologies, practically helps the analysis and design of autonomous systems is still missing.This thesis explores the problem of building trustworthy autonomous systems from different angles. We have analyzed how current approaches of formal verification can provide assurances: 1) to the requirement corpora itself by formalizing requirements with assume/guarantee contracts to detect incompleteness and conflicts; 2) to the reward function used to then train the system so that the requirements do not get misinterpreted; 3) to the execution of the system by run-time monitoring and enforcing certain invariants; 4) to the coordination of the system with other external entities in a system of system scenario and 5) to system behaviors by automatically synthesize a policy which is correct.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2023

Mode of access: World Wide Web

ISBN: 9798496575218Subjects--Topical Terms:

3681666
Temporal logic.
Index Terms--Genre/Form:

542853
Electronic books.

Designing Trustworthy Autonomous Systems.
LDR:02832nmm a2200397K 4500 001 2354078
005 20230324111152.5
006 m o d
007 cr mn ---uuuuu
008 241011s2021 xx obm 000 0 eng d
020 $a 9798496575218
035 $a (MiAaPQ)AAI28830262
035 $a (MiAaPQ)Chalmers_SE523846
035 $a AAI28830262
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Mallozzi, Piergiuseppe. $3 3694418
245 1 0 $a Designing Trustworthy Autonomous Systems.
264 0 $c 2021
300 $a 1 online resource (195 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 83-06, Section: B.
500 $a Advisor: Pelliccione, Patrizio.
502 $a Thesis (Ph.D.)--Chalmers Tekniska Hogskola (Sweden), 2021.
504 $a Includes bibliographical references
520 $a The design of autonomous systems is challenging and ensuring their trustworthiness can have different meanings, such as i) ensuring consistency and completeness of the requirements by a correct elicitation and formalization process; ii) ensuring that requirements are correctly mapped to system implementations so that any system behaviors never violate its requirements; iii) maximizing the reuse of available components and subsystems in order to cope with the design complexity; and iv) ensuring correct coordination of the system with its environment.Several techniques have been proposed over the years to cope with specific problems. However, a holistic design framework that, leveraging on existing tools and methodologies, practically helps the analysis and design of autonomous systems is still missing.This thesis explores the problem of building trustworthy autonomous systems from different angles. We have analyzed how current approaches of formal verification can provide assurances: 1) to the requirement corpora itself by formalizing requirements with assume/guarantee contracts to detect incompleteness and conflicts; 2) to the reward function used to then train the system so that the requirements do not get misinterpreted; 3) to the execution of the system by run-time monitoring and enforcing certain invariants; 4) to the coordination of the system with other external entities in a system of system scenario and 5) to system behaviors by automatically synthesize a policy which is correct.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2023
538 $a Mode of access: World Wide Web
650 4 $a Temporal logic. $3 3681666
650 4 $a Systems design. $3 3433840
650 4 $a Autonomous vehicles. $3 2179092
650 4 $a Adaptation. $3 3562958
650 4 $a Automobiles. $3 560291
650 4 $a Unmanned aerial vehicles. $3 3560267
650 4 $a Design. $3 518875
650 4 $a Feedback. $3 677181
650 4 $a Software engineering. $3 559826
650 4 $a Robotics. $3 519753
650 4 $a Aerospace engineering. $3 1002622
650 4 $a Computer science. $3 523869
650 4 $a Engineering. $3 586835
650 4 $a Logic. $3 529544
650 4 $a Transportation. $3 555912
655 7 $a Electronic books. $2 lcsh $3 542853
690 $a 0771
690 $a 0389
690 $a 0538
690 $a 0984
690 $a 0537
690 $a 0395
690 $a 0709
710 2 $a ProQuest Information and Learning Co. $3 783688
710 2 $a Chalmers Tekniska Hogskola (Sweden). $3 1913472
773 0 $t Dissertations Abstracts International $g 83-06B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=28830262 $z click for full text (PQDT)