Reinhard Schneider

PhD thesis, 2014

Quantifying Notions of Extensibility in FlexRay Schedule Synthesis.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2014

Relaxing Signal Delay Constraints in Distributed Embedded Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2014

Timing challenges in automotive software architectures.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Multi-layered scheduling of mixed-criticality cyber-physical systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2013

Compositional analysis of switched ethernet topologies.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Multirate controller design for resource- and schedule-constrained automotive ECUs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Reliability challenges for electric vehicles: from devices to architecture and systems software.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Let's put the car in your phone!

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Arbitrated Network Control Systems: A Co-Design of Control and Platform for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Anuradha M. Annaswamy

Proceedings of the Control of Cyber-Physical Systems, 2013

Formal verification of distributed controllers using Time-Stamped Event Count Automata.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

Challenges in automotive cyber-physical systems design.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Time-triggered implementations of mixed-criticality automotive software.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Adaptive switching controllers for tracking with hybrid communication protocols.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Modular scheduling of distributed heterogeneous time-triggered automotive systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

Adaptive switching controllers for systems with hybrid communication protocols.

[BibT_eX]

[DOI]

Harald Voit

Anuradha M. Annaswamy

Proceedings of the American Control Conference, 2012

2011

Schedulability analysis of distributed cyber-physical applications on mixed time-/event-triggered bus architectures with retransmissions.

[BibT_eX]

[DOI]

Proceedings of the Industrial Embedded Systems (SIES), 2011

Re-engineering cyber-physical control applications for hybrid communication protocols.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

On the quantification of sustainability and extensibility of FlexRay schedules.

[BibT_eX]

[DOI]

Proceedings of the 48th Design Automation Conference, 2011

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Co-design of cyber-physical systems via controllers with flexible delay constraints.

[BibT_eX]

[DOI]