default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 231 matches
- 2024
- Sergio Mover:
Abstraction Techniques for Symbolic Model Checking of Infinite-state Discrete and Continuous Systems. Polytechnic Institute of Paris, Palaiseau, France, 2024 - Hanen Damak, Mohamed Ali Hammami, Rahma Heni:
Input-to-state practical stability criteria of non-autonomous infinite-dimensional systems. J. Control. Decis. 11(2): 190-200 (2024) - Felix L. Schwenninger, Alexander A. Wierzba, Hans Zwart:
On BIBO Stability of Infinite-Dimensional Linear State-Space Systems. SIAM J. Control. Optim. 62(1): 22-41 (2024) - Jun-Wei Wang, Yong-Hang Wei, Peng Shi:
Spatiotemporal Adaptive Fuzzy Control for State Profile Tracking of Nonlinear Infinite-Dimensional Systems on a Hypercube. IEEE Trans. Fuzzy Syst. 32(2): 683-696 (2024) - Rance Cleaveland, Jeroen J. A. Keiren:
Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log. 25(1): 2:1-2:60 (2024) - Wojciech Czerwinski:
Challenges of the Reachability Problem in Infinite-State Systems (Invited Paper). MFCS 2024: 2:1-2:8 - Andrii Mironchenko, Christophe Prieur:
Input-to-state stability of infinite-dimensional systems: Foundations and present-day developments. CoRR abs/2406.02071 (2024) - 2023
- Okan Özkan:
Resilience of Graph Transformation Systems: Modeling Adverse Conditions and Infinite-state Verification. University of Oldenburg, Germany, 2023 - Shigeru Hanba:
Infinite-dimensional representation of nD nonlinear state space systems. Multidimens. Syst. Signal Process. 34(1): 163-177 (2023) - Birgit Jacob, Andrii Mironchenko, Jonathan R. Partington, Fabian R. Wirth:
Corrigendum: Noncoercive Lyapunov Functions for Input-to-State Stability of Infinite-Dimensional Systems. SIAM J. Control. Optim. 61(3): 1910-1911 (2023) - José Luis Mancilla-Aguilar, José E. Rojas-Ruiz, Hernan Haimovich:
Characterization of Integral Input-to-State Stability for Nonlinear Time-Varying Systems of Infinite Dimension. SIAM J. Control. Optim. 61(4): 1979-2003 (2023) - Shantanu Singh, Sébastien Fueyo, George Weiss:
Incrementally passive infinite dimensional systems with a constrained state variable. CDC 2023: 1937-1942 - 2022
- Mathieu Hilaire:
Parity games and reachability in infinite-state systems with parameters. (Jeux de parité et problème d'accessibilité dans des systèmes à infinité d'états avec paramètres). University of Paris-Saclay, France, 2022 - Joseph Chang Lun Chan, Tae H. Lee:
Observer-based fault-tolerant control for non-infinitely observable descriptor systems with unknown time-varying state and input delays. Appl. Math. Comput. 430: 127230 (2022) - Vladimír Kucera:
Assignment of infinite zero orders in linear systems using state feedback. Autom. 135: 109954 (2022) - Xiang Xu, Lu Liu, Gang Feng:
Lyapunov characterizations on input-to-state stability of nonlinear systems with infinite delays. Autom. 146: 110585 (2022) - Bouchra Abouzaid, Mohamed E. Achhab, Jonathan N. Dehaye, Anthony Hastir, Joseph J. Winkin:
Locally positive stabilization of infinite-dimensional linear systems by state feedback. Eur. J. Control 63: 1-13 (2022) - Alessandro Cimatti, Alberto Griggio, Enrico Magnago:
LTL falsification in infinite-state systems. Inf. Comput. 289(Part): 104977 (2022) - Birgit Jacob, Andrii Mironchenko, Felix L. Schwenninger:
Input-to-state stability for infinite-dimensional systems. Math. Control. Signals Syst. 34(1): 215-216 (2022) - Masashi Wakaiki:
Semi-uniform input-to-state stability of infinite-dimensional systems. Math. Control. Signals Syst. 34(4): 789-817 (2022) - Izumi Masubuchi:
A Multi-Objective State-Feedback Synthesis for Infinite-Dimensional Systems Based on Linear Operator Inequalities in the Conjugate Space. ASCC 2022: 1256-1261 - Nezha Maamri, Jean-Claude Trigeassou:
Modelling and initialization of fractional order nonlinear systems: the infinite state approach. ICSC 2022: 42-47 - José Luis Mancilla-Aguilar, José E. Rojas-Ruiz, Hernan Haimovich:
Characterization of integral input-to-state stability for nonlinear time-varying systems of infinite dimension. CoRR abs/2205.15993 (2022) - Jeroen J. A. Keiren, Rance Cleaveland:
Extensible Proof Systems for Infinite-State Systems. CoRR abs/2207.12953 (2022) - 2021
- Andrei Polyakov:
Input-to-State Stability of homogeneous infinite dimensional systems with locally Lipschitz nonlinearities. Autom. 129: 109615 (2021) - Pengfei Wang, Xiaolei Wang, Huan Su:
Input-to-state stability of impulsive stochastic infinite dimensional systems with Poisson jumps. Autom. 128: 109553 (2021) - Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham:
Temporal prophecy for proving temporal properties of infinite-state systems. Formal Methods Syst. Des. 57(2): 246-269 (2021) - Mouhacine Benosman, Jeff Borggaard:
Robust nonlinear state estimation for a class of infinite-dimensional systems using reduced-order models. Int. J. Control 94(5): 1309-1320 (2021) - Hanen Damak:
Input-to-state stability and integral input-to-state stability of non-autonomous infinite-dimensional systems. Int. J. Syst. Sci. 52(10): 2100-2113 (2021) - Okan Özkan:
Infinite-state graph transformation systems under adverse conditions. it Inf. Technol. 63(5-6): 311-320 (2021)
skipping 201 more matches
loading more results
failed to load more results, please try again later
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.
retrieved on 2024-09-21 10:35 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint