liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automatic Synthesis for Simultaneous Supervision and Control - A First Example
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
1996 (English)Report (Other academic)
Abstract [en]

We investigate whether it is possible to synthesize the control law for a discrete event dynamic system, using a polynomial representation of the system and controller. By working through a relatively simple example we propose a synthesis method based on the polynomial representation and repeated Grobner basis computations. The supervisor objective is given in terms of forbidden states and the controller should actively be able to avoid these. We reduce the manifold of solutions by imposing a weighting function on the state space and by proposing a priority among the actuators. In this way we can improve the computational performance and we can also control the system towards a desired state, which is our control objective. The computational load lies in the design phase where we use Grobner bases. The resulting controller description is suited for red time applications since the computations needed are evaluations of a limited number of polynomials. During the design phase we also obtain a polynomial describing where in the state space the computed control law is valid. This makes it possible to examine controllability and supervisability of the system.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 1996. , 13 p.
Series
LiTH-ISY-R, ISSN 1400-3902 ; 1819
Keyword [en]
Discrete event dynamic systems
Keyword [sv]
Cybernetik Informationsteori
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-55297ISRN: LiTH-ISY-R-1819OAI: oai:DiVA.org:liu-55297DiVA: diva2:315828
Available from: 2010-04-29 Created: 2010-04-29 Last updated: 2014-08-26Bibliographically approved

Open Access in DiVA

Automatic Synthesis for Simultaneous Supervision and Control - A First Example(220 kB)36 downloads
File information
File name FULLTEXT02.pdfFile size 220 kBChecksum SHA-512
2a2a0de620ce9481ad4077fc64dcbf50647723c522b91637e0a4f0f53affb30b93aa9f724e9c7d0b123c2b9fac858b683f5c28da7dc302b4a53eb00bf8ba6452
Type fulltextMimetype application/pdf
fulltext(267 kB)18 downloads
File information
File name FULLTEXT01.psFile size 267 kBChecksum SHA-512
d5b183bab3f60d3a19f3b12ff46a867acbcd2d5e141d626279a6688e860bd45e73320f4992631f35867513f73ad58abacafd357e96f493275b610915d1fbe916
Type fulltextMimetype application/postscript

By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 54 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 39 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf