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
Verification of Piecewise Linear Switched Systems using Abstractions
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.
1999 (English)Report (Other academic)
Abstract [en]

A modeling framework for the class of piecewise linear switched systems is presented. Methods for abstraction using conservative discrete approximations are introduced and model checking is used for verifying specifications. A fairly complex example is treated, the main result being that abstraction is a promising tool for fully automated verification.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 1999. , 12 p.
Series
LiTH-ISY-R, ISSN 1400-3902 ; 2112
Keyword [en]
Control system analysis, Linear systems, Modeling, Time-varying systems
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-55688ISRN: LiTH-ISY-R-2112OAI: oai:DiVA.org:liu-55688DiVA: diva2:316460
Available from: 2010-04-30 Created: 2010-04-30 Last updated: 2014-09-08Bibliographically approved

Open Access in DiVA

Verification of Piecewise Linear Switched Systems using Abstractions(223 kB)88 downloads
File information
File name FULLTEXT02.pdfFile size 223 kBChecksum SHA-512
7d8f40cd3d169eed666d0bb5f0aeb76640a1f6b8d97e537644a56cfe3a9ec160ed97ecf3a58d84d0770bbb8b55bec32d40f959d5530090399a16d5735370fe92
Type fulltextMimetype application/pdf
fulltext(454 kB)217 downloads
File information
File name FULLTEXT01.psFile size 454 kBChecksum SHA-512
766d1da8c46155633bc4a6485f8f8921c00ed5637526a2a8a5bf8dd9fadd08c39cd13294e019784e5e87789f2194805147661e01f93a7d70f61b404cb078f5dc
Type fulltextMimetype application/postscript

Authority records BETA

Glad, Torkel

Search in DiVA

By author/editor
Glad, Torkel
By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 305 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: 67 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