Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

2014

Fault-tolerant control synthesis and verification of distributed embedded systems

Goswami, D., Chakraborty, S., Kauer, M., Soudbakhsh, D. & Annaswamy, A. M., 2014, Proceedings of the 2014 Design, Automation and Test in Europe Conference and Exhibition (DATE), 24-28 March 2014, Dresden, Germany. Piscataway: Institute of Electrical and Electronics Engineers, blz. 1-6

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Platform-aware design of embedded controllers

Goswami, D., Basten, A. A. & Chakraborty, S., 2014, In : ERCIM News. 2014, 97, blz. 12-13

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelPopulair

2 Citaten (Scopus)
9 Downloads (Pure)

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, blz. 32-1/37

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
5 Citaten (Scopus)
84 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, blz. 2337-2345 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
23 Citaten (Scopus)
135 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, blz. 119-124 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

33 Citaten (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, blz. 13-18 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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, blz. 1099-1104 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (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, blz. 411-416 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (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 blz. 6560736

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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 blz. 96

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (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, blz. 1215-1230

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

19 Citaten (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 blz. 6513681

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

17 Citaten (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, blz. 4921-4926 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (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, blz. 4121-4126 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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, blz. 688-696 9 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

50 Citaten (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, blz. 346-354 9 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

31 Citaten (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, blz. 665-670 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

38 Citaten (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, blz. 60-67 8 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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 blz. 6176680

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

52 Citaten (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, blz. 1233-1238 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (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, blz. 225-230 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

40 Citaten (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, blz. 139-148 10 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

15 Citaten (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, blz. 263-272 10 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (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, blz. 375-380 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (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, blz. 914-919 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)

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

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (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, blz. 266-273 8 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (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, blz. 417-424 8 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

25 Citaten (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, blz. 31-38 8 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)

Optimizing hierarchical schedules for improved control performance

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

Onderzoeksoutput: Bijdrage aan congresPaperAcademic

19 Citaten (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, blz. 403-408 6 blz. 5234107

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

46 Citaten (Scopus)

Planar bipedal jumping gaits with stable landing

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

25 Citaten (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, blz. 776-785 10 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaten (Scopus)
2008

Disturbance rejection by online ZMP compensation

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

49 Citaten (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, blz. 197-214 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaten (Scopus)