Остановите войну!
for scientists:
default search action
Lothar Litz
- > Home > Persons > Lothar Litz
Publications
- 2016
- [j10]Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz:
Model-Based Location Tracking of an a priori Unknown Number of Inhabitants in Smart Homes. IEEE Trans Autom. Sci. Eng. 13(2): 1090-1101 (2016) - 2014
- [c45]Andreas Haupt, Eduardo S. Tognetti, Adolfo Bauchspiess, Lothar Litz:
Control design in a distributed WNCS using energy optimal scheduled medium access. CDC 2014: 6842-6848 - [c44]Stefan Marco Schneider, Lothar Litz:
Automatic Partitioning of DES Models for Distributed Fault Diagnosis Purposes. WODES 2014: 21-26 - 2013
- [c43]Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut:
A Discrete event model for multiple inhabitants location tracking. CASE 2013: 910-915 - [c41]Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut:
Online Location Tracking of a Single Inhabitant Based on a State Estimator. SMC 2013: 391-396 - 2012
- [j9]Matthias Roth, Stefan Marco Schneider, Jean-Jacques Lesage, Lothar Litz:
Fault detection and isolation in manufacturing systems with an identified discrete event model. Int. J. Syst. Sci. 43(10): 1826-1841 (2012) - [c40]Stefan Marco Schneider, Lothar Litz, Jean-Jacques Lesage:
Determination of timed transitions in identified discrete-event models for fault detection. CDC 2012: 5816-5821 - [c39]Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz:
Indoor Location Tracking Based on a Discrete Event Model. ICOST 2012: 262-265 - 2011
- [c38]Thomas Steffen, Lothar Litz:
Two structures for resource constrained control systems with output feedback. ICCA 2011: 1021-1026 - 2010
- [j8]Lars Grüne, Lothar Litz, Jan Lunze:
Digital vernetzte Regelungssysteme. Autom. 58(4): 171-172 (2010) - [c35]Matthias Roth, Jean-Jacques Lesage, Lothar Litz:
Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems. ACC 2010: 2601-2606 - [c34]Matthias Roth, Lothar Litz, Jean-Jacques Lesage:
Identification of Discrete Event Systems - Implementation Issues and Model Completeness. ICINCO (3) 2010: 73-80 - 2009
- [c31]Matthias Roth, Jean-Jacques Lesage, Lothar Litz:
Distributed identification of concurrent discrete event systems for fault detection purposes. ECC 2009: 2590-2595 - 2002
- [c17]Stéphane Klein, Xiying Weng, Georg Frey, Jean-Jacques Lesage, Lothar Litz:
Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking. ACC 2002: 4141-4146 - [c16]Xiying Weng, Lothar Litz:
Model checking: towards generating a correct specification for logic controllers. ACC 2002: 4457-4462 - 2001
- [c15]Xiying Weng, Lothar Litz:
Model checking of signal interpreted Petri nets. SMC 2001: 2748-2752 - 2000
- [c14]Georg Frey, Lothar Litz:
Correctness analysis of Petri net based logic controllers. ACC 2000: 3165-3166 - [c13]Georg Frey, Lothar Litz:
Transparency analysis of Petri net based logic controllers-a measure for software quality in automation. ACC 2000: 3182-3186 - [c11]Xiying Weng, Lothar Litz:
Verification of logic control design using SIPN and model checking: methods and case study. ACC 2000: 4072-4076 - [c9]Georg Frey, Lothar Litz, Frank Klöckner:
Complexity metrics for Petri net based logic control algorithms. SMC 2000: 1204-1209 - [c7]Georg Frey, Lothar Litz:
Formal methods in PLC programming. SMC 2000: 2431-2436 - 1998
- [c4]Georg Frey, Lothar Litz:
Verification and validation of control algorithms by coupling of interpreted Petri nets. SMC 1998: 7-12 - [c3]Lothar Litz, Georg Frey:
A senior course on logic process control based on Petri nets. SMC 1998: 274-277
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint