Specification and Analysis of Network Resource Requirements of Control Systems

Simple item page
dc.contributor.authorWeiss, Gera
dc.contributor.authorFischmeister, Sebastian
dc.contributor.authorAlur, Rajeev
dc.contributor.authorAnand, Madhukar
dc.date2023-05-17T07:10:37.000
dc.date.accessioned2023-05-22T12:49:31Z
dc.date.available2023-05-22T12:49:31Z
dc.date.issued2009-04-01
dc.date.submitted2012-07-17T12:40:58-07:00
dc.description.abstractWe focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic scheduling policies for the bus with performance guarantees. Specifically, we propose an automata-based scheduler which we automatically 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).
dc.description.commentsFrom the 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6622
dc.legacy.articleid1601
dc.legacy.fields10.1007/978-3-642-00602-9_27
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1601&context=cis_papers&unstamped=1
dc.rightsThe original publication is available at www.springerlink.com
dc.source.beginpage381
dc.source.endpage395
dc.source.issue564
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitleLecture Notes in Computer Science: Hybrid Systems: Computation and Control
dc.source.statuspublished
dc.source.volume5469
dc.subject.otherCPS Embedded Control
dc.subject.otherCPS Real-Time
dc.subject.otherComputer Sciences
dc.titleSpecification and Analysis of Network Resource Requirements of Control Systems
dc.typePresentation
digcom.identifiercis_papers/564
digcom.identifier.contextkey3104618
digcom.identifier.submissionpathcis_papers/564
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublicationb56d841c-1c35-47c8-96f6-914672c77ca5
relation.isAuthorOfPublication0277bab3-1be2-4f99-9964-92e0ea36014e
relation.isAuthorOfPublication.latestForDiscoveryb56d841c-1c35-47c8-96f6-914672c77ca5
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
2009_specification_and_analysis_of_network_resource_requirements_of_control_systems.pdf
Size:
229.59 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations