Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Specification and Analysis of Network Resource Requirements of Control Systems
 

Summary: Specification and Analysis of Network Resource
Requirements of Control Systems
Gera Weiss1
, Sebastian Fischmeister2
, Madhukar Anand1
, and Rajeev Alur1
1
Dept. of Computer and Information Science, University of Pennsylvania, USA
2
Dept. of Electrical and Computer Engineering, University of Waterloo, Canada
Abstract. We focus on control systems in which sensors send data to actuators
via a bus shared with other applications. An approach is proposed for specify-
ing and implementing dynamic scheduling policies for the bus with performance
guarantees. Specifically, we propose an automata-based scheduler which we au-
tomatically generate from a model of the controlled plant and the controller. We
show that, in addition to ensuring performance, our approach allows adjustments
to dynamic conditions such as varying disturbances and network load. We present
a full development path from performance specifications (exponential stability) to
a control design and its implementation using Controller Area Network (CAN).
1 Introduction

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania
Weiss, Gera - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences