Specification and analysis of network resource requirements of control systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5469, Issue , 2009, Pages 381-395

  Weiss, Gera ^a   Fischmeister, Sebastian ^b   Anand, Madhukar ^a   Alur, Rajeev ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL DESIGN; CONTROLLER AREA NETWORK; DEVELOPMENT PATH; DISTRIBUTED CONTROL SYSTEM; DYNAMIC CONDITION; DYNAMIC SCHEDULING; EXPONENTIAL STABILITY; NETWORK LOAD; NETWORK RESOURCE; OTHER APPLICATIONS; PERFORMANCE GUARANTEES; PERFORMANCE SPECIFICATIONS;

CONTROL; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; SCHEDULING; SPECIFICATIONS; TELECOMMUNICATION NETWORKS;

CONTROLLERS;

EID: 67650099382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00602-9_27     Document Type: Conference Paper

References (26)

1. Alur, R., Weiss, G.: Automata Based Interfaces for Control and Scheduling. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 601-613. Springer, Heidelberg (2007)
2. Alur, R., Weiss, G.: Regular Specifications of Resource Requirements for Embedded Control Software. In: Proc. 14th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS) (2008)
3. Anand, M., Fischmeister, S., Lee, I.: An Analysis Framework for Network-Code Programs. In: Proc. of the 6th Annual ACM Conference on Embedded Software (EMSOFT), Seoul, South Korea, October 2006, pp. 122-131 (2006) (Pubitemid 47168581)
4. Anand, M., Fischmeister, S., Lee, I.: Composition Techniques for Tree Communication Schedules. In: Proc. of the 19th Euromicro Conference on Real-Time Systems (ECRTS), Pisa, Italy, July 2007, pp. 235-246 (2007) (Pubitemid 47591703)
5. Antsaklis, P., Baillieul, J.: Guest editorial. Special Issue on Networked Control Systems. IEEE Trans. Automat. Control 49(9), 1421-1423 (2004)
6. Bosch. CAN Specification, Version 2. Robert Bosch GmbH (September 1991)
7. Cervin, A., Henriksson, D., Lincoln, B., Eker, J., Å rzén, K.-E.: How Does Control Timing Affect Performance? IEEE Control Systems Magazine 23(3), 16-30 (2003)
8. Ferreira, J., Pedreiras, P., Almeida, L., Fonseca, J.: The FTT-CAN Protocol For Flexibility in Safety-critical Systems. IEEE Micro. 22(4), 46-55 (2002) (Pubitemid 34979924)
9. Fischmeister, S., Sokolsky, O., Lee, I.: A Verifiable Language for Programming Communication Schedules. IEEE Trans. on Comp. 56(11), 1505-1519 (2007) (Pubitemid 47534721)
10. F̈uhrer, T., M̈uller, B., Dieterle, W., Hartwich, F., Hugel, R., Walther, M.: Time Triggered Communications on CAN (Time Triggered CAN-TTCAN). In: Proc. 7th International CAN Conference, Amsterdam, Netherlands (2000)
11. Hristu-Varsakelis, D., Levine, W.S. (eds.): Handbook of Networked and Embedded Control Systems. Birkḧauser, Basel (2005)
12. Kawamura, S., Furukawa, Y.: Automotive Electronics System, Software, and Local Area Network. In: Proc. of the International Conference on Hardware/Software Codesign and System Synthesis (2006)
13. Kopetz, H.: Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)
14. Liberzon, D.: Switching in Systems and Control. In: Systems & Control: Foundations & Applications, Birkḧauser Boston Inc., Boston (2003)
15. Lin, H., Antsaklis, P.J.: Stability and Persistent Disturbance Attenuation Properties for a Class of Networked Control Systems: Switched System Approach. Internat. J. Control 78(18), 1447-1458 (2005)
16. Liu, J.: Real-Time Systems. Prentice-Hall, New Jersey (2000)
17. http://www.mathworks.com/products/matlab
18. Park, H., Kim, Y., Kim, D., Kwon, W.: A Scheduling Method For Network-based Control Systems. IEEE Trans. on Control Systems Technology 10(3), 318-330 (2002) (Pubitemid 34630810)
19. Ray, A., Halevi, Y.: Integrated Communication and Control Systems: Part II-Design Considerations. ASME Journal of Dynamic Systems, Measurements and Control 110, 374-381 (1988)
20. Śanchez-Puebla, M.A., Carretero, J.: A New Approach for Distributed Computing in Avionics Systems. In: Proc. of International Symposium on Instrumentation and Control Technology (ISICT), pp. 579-584. Trinity College Dublin (2003)
21. Steinhammer, K., Grillinger, P., Ademaj, A., Kopetz, H.: A Time-Triggered Ethernet (TTE) Switch. In: Proc. of the Conference on Design, Automation and Test in Europe (DATE), Munich, Germany, pp. 794-799. European Design and Automation Association (2006)
22. Walsh, G., Ye, H., Bushnell, L.: Stability Analysis of Networked Control Systems. IEEE Transactions on Control Systems Technology 10(3), 438-446 (2002) (Pubitemid 34630818)
23. Wen, P., Cao, J., Li, Y.: Design of High-performance Networked Real-time Control Systems. IET Control Theory and Applications 1(5), 1329-1335 (2007) (Pubitemid 47283323)
24. Yliniemi, L., Leivisk̈a, K.: Process Control Across Network. In: Proc. of Parallel and Distributed Computing and Networks (PDCN), Anaheim, CA, USA, pp. 168-173. ACTA Press (2006) (Pubitemid 46514359)
25. Zhang,W., Branicky,M., Phillips, S.: Stability of Networked Control Systems. IEEE Control Systems Magazine 21(1), 84-99 (2001)
26. Zhang,W., Yu, L.: Output Feedback Stabilization of Networked Control Systems with Packet Dropouts. IEEE Trans. Automat. Control 52(9), 1705-1710 (2007) (Pubitemid 47456083)