@conference {
	title = {Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language},
	author = {Zhou, Yuchen., Baras, John S., Wang, Shige.},
	year = {2014},
	month = {12/2014},
	abstract = {Modern cyber-physical system (CPS) has a close relationship between software and physical system. Automotive embedded system is a typical CPS, as physical chips, sensors and actuators are physical components and software embedded within are the cyber components. The current stage of embedded systems is highly complex in architecture design for both software and hardware. It is common in industrial practice that high level control algorithm development and low level code implementation on hardware platforms are developed separately with limited shared information.However, software code and hardware architecture become closely related with the increasing complexity.Correlated requirements and dependencies between hardware end software are emerging problems of industrial practice. We demonstrate in this paper a method to link model based system design with real-time simulations and analysis of the architecture model. This allows hardware software co-design and thus early selection of hardware architecture.},
	address = {Rome, Italy},
	booktitle = {5th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2014)}
}
@conference {
	title = {A Systems Engineering Approach to Collaborative Coordination of UAS in the NAS with Safety Guarantees},
	author = {Moschler, Jacob., Zhou, Yuchen., Baras, John S., Joh, Jungwoo.},
	year = {2014},
	month = {04/2014},
	abstract = {We develop new fundamental methodologies for high performance and provably safe autonomous and collaborative control and operation of autonomous unmanned aerial systems (UAS) in the national airspace (NAS), where both UAS and manned aircraft fly. The proposed framework is model-based, and emphasizes multiple scales in time and space as well as hybrid systems mathematics to capture both the analog and logical components of control functionalities. We develop on-line control laws that allow for multiple UAS agents to reconfigure to different formations with proofs of safety and convergence while navigating in integrated airspace with piloted air vehicles. We demonstrate our results in simulated scenaria with both cooperative and uncooperative air vehicles.},
	address = {Herndon, Virginia},
	booktitle = {Proceedings of the 2014 Integrated Communications Navigation and Surveillance (ICNS) Conference},
	pages = {pp. U1-1 -U1-12}
}
