Click here to get a zip file
containing all these papers.
1.
Position
Paper, Farhad Balourchi
(
2. High-Confidence Real-Time Multivariable Control for Active Safety in Automotive Cyber-Physical Systems, Francesco Borrelli and Karl Hedrick (University of California at Berkeley).
3. Embedded Control for Cooperative Active Safety Systems, Domitilla Del Vecchio (University of Michigan).
4. Towards High Confidence Cyberphysical Systems for Intelligent Transportation Systems, Aniruddha Gokhale, Sumant Tambe, Larry Dowdy and Gautam Biswas (Vanderbilt University).
5. Changing Safety Paradigm: Integration of the Environment into the Vehicle, Robert C. Lange (General Motors).
6. A Perspective on Research Directions for Control in Automotive Cyber-Physical Systems, Dimitar P. Filev and Ilya V. Kolmanovsky (Ford Research).
7. Managing Vehicle Control System Architecture is a Key Enabler for Strategic Reuse, Ryan McGee (Ford).
8. Distributed Control Systems With Shared Communication and Computation Resources, Payam Naghashtabrizi and Joao P. Hespanha (Ford).
9. System Level Integration Challenges Common to High Confidence Automotive and Aerospace Cyber-Physical Systems, Pam Binns (Honeywell).
10. Managing Complexity in Safety-critical Cyber-Physical Systems, Qi Van Eikema Hommes and Sushil Birla (General Motors R&D).
11. High Assurance Aerospace CPS & Implications for the Automotive Industry, Scott A. Lintelman, Krishna Sampigethaya, Mingyan Li, Radha Poovendran, Richard V. Robinson (Boeing Phantom Works).
12. Enabling a Systems Engineering Approach to Automotive Cyber-Physical Systems, Chris Walter (WW Technology Group).
13. Cyber‐Physical Systems that Enable Automotive Assembly,
Shivakumar Sastry (
14. Position Paper, Anuradha M. Annaswamy (MIT).
15. On Model-Based Engineering for Cyber-Physical Systems, Dionisio de Niz, Peter H. Feiler, Jorgen Hansson, and John Hudak
16. Requirement-Driven Automated System-Level Design, Daniel Gajski (UC Irvine).
17. Beating the Automotive
Code Complexity Challenge: Components, Models and Tools, Hans Hansson, Mikael Nolin and Thomas Nolte (M¨alardalen
Real-Time Research
18. Enabling the Future Auto with Model-Driven Services, Johannes Helander and Margus Veanes (Microsoft Research)
19. Modeling and Verification
of Cyber-Physical Systems, Warren A. Hunt, Jr. (
20. Towards
High-Confidence Pragmatic Design of Cyber-Physical Systems, Gabor Karsai (
21. Automated Program
Maintenance for Automotive CPS, Sandeep S. Kulkarni and Borzoo Bonakdarpour (
22. Modelling,
Analysis and Architectures for Automotive Cyber-Physical Systems, Igor Mezic (UC
23. Building
Robust Automotive Systems through Separation of Concerns, Sibin Mohan (
24. Modeling System Interactions, Ed Nelson (Ford).
25. Safety and Reliability in
Automotive Cyber-Physical Systems, Natasha Neogi
(
26. Automotive CPS Trust, Mark Noddy, Kyle Nelson and Todd Carpenter (Adventium).
27. Research Interest Statement, Douglas Rhode (Ford).
28. Compositional Software
Modeling: Foundations and Challenges for Cyber-Physical Systems, Jonathan
Sprinkle (
29. On Constructing
High-Confidence Vehicle Control Software, Shige Wang (GM), Kang G. Shin
and
30. Automotive Cyber Physical Systems in the Context of Human Mobility, Daniel Work, Alexandre Bayen, and Quinn Jacobson (UC Berkeley).
31. Component-Based
Automotive Cyber-Physical Systems, Fei Xie (
32. Optimizing Automotive
Cyber-Physical System Specifications with Multi-Event Dependencies, Stefan
Andrei (
33. Requirements of Automotive Cyber-Physical Systems, George Romanski (Verocel).
34. Guaranteed End-to-end QoS in Automotive Cyber-Physical Systems, Nikil Dutt and Gabor Madl (UC Irvine).
35. Towards
Human-Centric Middleware for Future Automotive CPS, Sandeep
K. S. Gupta (
36. Occupant-Centric Design of Automobiles The Ultimate Information Processing Machine that also Transports People and other Physical Objects, Sundaresan Jayaraman (Georgia Tech).
37. High-Confidence Service Engineering for Cyber-Physical Systems, Ingolf H. Krόger, Vina Ermagan and Massimiliano Menarini (UCSD).
38. New Paradigm Computing for Automotive Cyber-Physical Systems, Jonathan Mills (Indiana University).
39. High-Confidence Bus Architectures: The Backbone of Automotive Cyber-Physical Systems, Lee Pike (Galois).
40. Embedding Executable Meta-Languages within Cyber-Physical Systems, Richard W. Selby (Northrop Grumman Space Technology).
41. Cyber-Physical Systems: Timing Is (almost) Everything, Ronald D. Williams & Joanne Bechta Dugan (U of Virginia).
42. Networked Automotive Cyber
Physical Systems: Applications, Challenges and Research Directions, Sriram Chellappan and Sanjay
Kumar Madria (
43. Intelligent Traffic
Management in Future Highways, Mario Gerla
(UCLA) and Liviu Iftode (
44. Security and Privacy in
Vehicular Networks, Jinhua Guo
(U of
45. Connecting Vehicles
to The Grid, Thomas D.C. Little and Ashish Agarwal (
46. Transformative CPS technologies to enable the next generation transportation networks, Steve Liu (Texas A&M).
47. Mixed Reality, Now a
Reality - Network Virtualization for Real-Time Automotive-CPS Networks,
Rahul Mangharam (
48. A Roadmap for
Securing Vehicles against Cyber Attacks, Dennis K. Nilsson and Ulf E.
Larson (
49. Distributed Management
Strategies for Collaborative Agents in Highly Dynamic Automotive Cyber-Physical
Systems, Horst F. Wedde (Technical
50. Demands and Challenges
in Integrating Vehicles into a Hybrid Cyber-Physical Network, Bo Yu and
Cheng-Zhong Xu (
51. Enabling Distributed
Vehicular Traffic Control and Safety Applications with VGrid,
Michael Zhang, Chen-Nee Chuah, Dipak
Ghosal (
52. Challenges of Automotive
Network Systems, Wei Zhao (
53. Metrics, Peter Dibble (TimeSys).
54. Para-Transactional Invariants (PTI) for CPS Software Systems, Calton Pu (Georgia Tech) and Maurice Herlihy (Brown University).
55. An Integrated Simulation Environment for Cyber-Physical System Co-simulation, Gang Quan (University of South Carolina).
56. Analysis Challenges for Automotive CPS, Ashish Tiwari (SRI).