id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
12579s18r1k	Jin Dai	Formal Synthesis of Autonomous Cyber-Physical Systems: Resilience and Security	2019		.txt	text/plain	570	19	21	The ubiquitous development of information technology (IT) infrastructures has greatly enhanced the technological evolution from automated to autonomous Cyber-Physical Systems (CPSs), such as networked mobile robots, autonomous vehicles, intelligent transportation systems, flexible manufacturing systems and so on. Apart from the high-level performances, we take the dynamics of the robots into consideration and study the path planning problem with application to robotic systems.	cache/12579s18r1k.txt	txt/12579s18r1k.txt