If you made any changes in Pure these will be visible here soon.

Research Output

2014

Quantifying notions of extensibility in FlexRay schedule synthesis

Schneider, R., Goswami, D., Chakraborty, S., Bordoloi, U., Eles, P. & Peng, Z., 2014, In : ACM Transactions on Design Automation of Electronic Systems. 19, 4, p. 32-1/37

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
5 Citations (Scopus)
83 Downloads (Pure)

Relaxing signal delay constraints in distributed embedded controllers

Goswami, D., Schneider, R. & Chakraborty, S., 2014, In : IEEE Transactions on Control Systems Technology. 22, 6, p. 2337-2345 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
23 Citations (Scopus)
133 Downloads (Pure)

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

Zhang, L., Schneider, R., Goswami, D. & Chakraborty, S., 2014, Asia and South Pacific Design Automation Conference (ASP-DAC), 25-28 January 2014, Yokohama, Japan. Piscataway: Institute of Electrical and Electronics Engineers, p. 119-124 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

32 Citations (Scopus)
2013

Characterizing feedback signal drop patterns in formal verification of networked control systems

Goswami, D., Chakraborty, S., Bhaduri, P. & K. Mitter, S., 2013, 2013 IEEE Conference on Computer Aided Control System Design (CACSD). Piscataway: Institute of Electrical and Electronics Engineers, p. 13-18 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Compositional analysis of switched ethernet topologies

Schneider, R., Zhang, L., Goswami, D., Masrur, A. & Chakraborty, S., 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE). Piscataway: Institute of Electrical and Electronics Engineers, p. 1099-1104 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

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

Kauer, M., Steinhorst, S., Goswami, D., Schneider, R., Lukasiewycz, M. & Chakraborty, S., 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC). Piscataway: Institute of Electrical and Electronics Engineers, p. 411-416 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)

Let's put the car in your phone!

Geier, M., Becker, M., Dietrich, B., Schneider, R., Goswami, D. & Chakraborty, S., 2013, 50th ACM/EDAC/IEEE Design Automation Conference (DAC). Piscataway: Institute of Electrical and Electronics Engineers, 2 p. 6560736

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Model-based development and verification of control software for electric vehicles

Goswami, D., Lukasiewycz, M., Kauer, M., Steinhorst, S., Masrur, A., Chakraborty, S. & S, R., 2013, 50th ACM/EDAC/IEEE Design Automation Conference (DAC). Piscataway: Institute of Electrical and Electronics Engineers, 9 p. 96

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

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

Schneider, R., Goswami, D., Masrur, A., Becker, M. & Chakraborty, S., 2013, In : Journal of Systems Architecture. 59, 10, p. 1215-1230

Research output: Contribution to journalArticleAcademicpeer-review

19 Citations (Scopus)
2 Downloads (Pure)

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

Goswami, D., Schneider, R., Masrur, A., Xue, C. J. & Chakraborty, S., 2013, Design, Automation & Test in Europe Conference & Exhibition (DATE). Piscataway: Institute of Electrical and Electronics Engineers, 4 p. 6513681

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

17 Citations (Scopus)
2012

Adaptive switching controllers for systems with hybrid communication protocols

Voit, H., M. Annaswamy, A., Schneider, R., Goswami, D. & Chakraborty, S., 2012, 2012 American Control Conference (ACC). Piscataway: Institute of Electrical and Electronics Engineers, p. 4921-4926 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Adaptive switching controllers for tracking with hybrid communication protocols

Voit, H., M. Annaswamy, A., Schneider, R., Goswami, D. & Chakraborty, S., 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC). Piscataway: Institute of Electrical and Electronics Engineers, p. 4121-4126 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

A hybrid approach to cyber-physical systems verification

Kumar, P., Goswami, D., Chakraborty, S., M. Annaswamy, A., Lampka, K. & Thiele, L., 2012, DAC Design Automation Conference 2012. Piscataway: Institute of Electrical and Electronics Engineers, p. 688-696 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

49 Citations (Scopus)

Challenges in automotive cyber-physical systems design

Goswami, D., Schneider, R., Masrur, A., Lukasiewycz, M., Chakraborty, S., Voit, H. & M. Annaswamy, A., 2012, 2012 International Conference on Embedded Computer Systems (SAMOS). Piscataway: Institute of Electrical and Electronics Engineers, p. 346-354 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

31 Citations (Scopus)

Modular scheduling of distributed heterogeneous time-triggered automotive systems

Lukasiewycz, M., Schneider, R., Goswami, D. & Chakraborty, S., 2012, 17th Asia and South Pacific Design Automation Conference. Piscataway: Institute of Electrical and Electronics Engineers, p. 665-670 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

38 Citations (Scopus)

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

Schneider, R., Goswami, D., Masrur, A. & Chakraborty, S., 2012, Proceeding of the 2012 Forum on Specification and Design Languages. Piscataway: Institute of Electrical and Electronics Engineers, p. 60-67 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Time-triggered implementations of mixed-criticality automotive software

Goswami, D., Lukasiewycz, M., Schneider, R. & Chakraborty, S., 2012, Design, Automation & Test in Europe Conference & Exhibition (DATE). Piscataway: Institute of Electrical and Electronics Engineers, 6 p. 6176680

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

53 Citations (Scopus)

Timing analysis of cyber-physical applications for hybrid communication protocols

Masrur, A., Goswami, D., Chakraborty, S., Chen, J. J., M. Annaswamy, A. & Banerjee, A., 2012, DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe. New York: Association for Computing Machinery, Inc, p. 1233-1238 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
2011

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

Goswami, D., Schneider, R. & Chakraborty, S., 2011, 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011). Piscataway: Institute of Electrical and Electronics Engineers, p. 225-230 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

40 Citations (Scopus)

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

Schneider, R., Goswami, D., Zafar, S., Lukasiewycz, M. & Chakraborty, S., 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). Piscataway: Institute of Electrical and Electronics Engineers, p. 139-148 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

Cross-layer analysis, testing and verification of automotive control software

Broy, M., Chakraborty, S., Goswami, D., S, R., Satpathy, M., Resmerita, S. & Pree, W., 2011, Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT). Piscataway: Institute of Electrical and Electronics Engineers, p. 263-272 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)

On the quantification of sustainability and extensibility of FlexRay schedules

Schneider, R., Goswami, D., Chakraborty, S., Bordoloi, U. D., Eles, P. & Peng, Z., 2011, 48th ACM/EDAC/IEEE Design Automation Conference (DAC). Piscataway: Institute of Electrical and Electronics Engineers, p. 375-380 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)

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

Goswami, D., Schneider, R. & Chakraborty, S., 2011, 2011 Design, Automation & Test in Europe. Piscataway: Institute of Electrical and Electronics Engineers, p. 914-919 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)

Rotational Stability Index (RSI) point: postural stability in planar bipeds

Goswami, D. & Prahlad, V., 2011, In : Robotica. 29, 5, p. 705-715 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

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

Masrur, A., Goswami, D., Schneider, R., Voit, H., M. Annaswamy, A. & Chakraborty, S., 2011, 6th IEEE International Symposium on Industrial and Embedded Systems. Piscataway: Institute of Electrical and Electronics Engineers, p. 266-273 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
2010

LMS-based low-complexity game workload prediction for DVFS

Dietrich, B., Nunna, S., Goswami, D., Chakraborty, S. & Gries, M., 2010, 2010 IEEE International Conference on Computer Design. Piscataway: Institute of Electrical and Electronics Engineers, p. 417-424 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

23 Citations (Scopus)

Optimized schedule synthesis under real-time constraints for the dynamic segment of FlexRay

Schneider, R., Bordoloi, U. D., Goswami, D. & Chakraborty, S., 2010, 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing. Piscataway: Institute of Electrical and Electronics Engineers, p. 31-38 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)

Optimizing hierarchical schedules for improved control performance

Voit, H., Schneider, R., Goswami, D., Annaswamy, A. & Chakraborty, S., 11 Oct 2010, p. 9-17. 9 p.

Research output: Contribution to conferencePaper

19 Citations (Scopus)
2009

A DECOMSYS based tool-chain for analyzing flexray based automotive control applications

Goswami, D., Seshadri, P., Bordoloi, U. D. & Chakraborty, S., 12 Nov 2009, 2009 IEEE International Conference on Automation Science and Engineering, CASE 2009. Piscataway: Institute of Electrical and Electronics Engineers, p. 403-408 6 p. 5234107

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Genetic algorithm-based optimal bipedal walking gait synthesis considering tradeoff between stability margin and speed

Dip, G., Prahlad, V. & Kien, P. D., 1 May 2009, In : Robotica. 27, 3, p. 355-365 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

46 Citations (Scopus)

Planar bipedal jumping gaits with stable landing

Goswami, D. & Vadakkepat, P., 28 Jul 2009, In : IEEE Transactions on Robotics. 25, 5, p. 1030-1046 17 p., 5173532.

Research output: Contribution to journalArticleAcademicpeer-review

25 Citations (Scopus)

Soccer playing humanoid robots: processing architecture, gait generation and vision system

Vadakkepat, P., Sin, N. B., Goswami, D., Zhang, R. X. & Tan, L. Y., 31 Jul 2009, In : Robotics and Autonomous Systems. 57, 8, p. 776-785 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
2008

Disturbance rejection by online ZMP compensation

Prahlad, V., Dip, G. & Meng-Hwee, C., 1 Jan 2008, In : Robotica. 26, 1, p. 9-17 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

49 Citations (Scopus)
2006

Path planning for a statically stable biped robot using PRM and reinforcement learning

Kulkarni, P., Goswami, D., Guha, P. & Dutta, A., 1 Nov 2006, In : Journal of Intelligent and Robotic Systems. 47, 3, p. 197-214 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)