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)In: Proceedings of the 1999 American Control Conference, 1999, 2967-2968 vol.4 p.Conference paper, Published paper (Refereed)
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
1999. 2967-2968 vol.4 p.
Keyword [en]
Control system analysis, Linear systems, Modeling, Time-varying systems
National Category
Engineering and Technology Control Engineering
Identifiers
URN: urn:nbn:se:liu:diva-91173DOI: 10.1109/ACC.1999.786618ISBN: 0-7803-4990-3 (print)OAI: oai:DiVA.org:liu-91173DiVA: diva2:617308
Conference
1999 American Control Conference, San Diego, CA, USA, June, 1999
Available from: 2013-04-22 Created: 2013-04-17 Last updated: 2013-04-22

Open Access in DiVA

No full text

Other links

Publisher's full textRelated report

Authority records BETA

Glad, Torkel

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 30 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