default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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
Venue 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 447 matches
- 2021
- Sota Sato, Masaki Waga
, Ichiro Hasuo:
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. ADHS 2021: 217-222 - Nicolas Augier, Agustín Gabriel Yabo:
Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results. ADHS 2021: 205-210 - Fabio Bagagiolo, Adriano Festa, Luciano Marzufero:
The orienteering problem: a hybrid control formulation. ADHS 2021: 175-180 - Fabio Bagagiolo, Adriano Festa, Luciano Marzufero:
A hybrid control framework for an optimal visiting problem. ADHS 2021: 241-246 - Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin:
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS 2021: 253-258 - Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic:
Adaptive Testing for Specification Coverage in CPS Models. ADHS 2021: 229-234 - Guillaume O. Berger, Maben Rabi:
Bounds on set exit times of affine systems, using Linear Matrix Inequalities. ADHS 2021: 283-288 - Riccardo Bertollo, Michael Schwegel, Andreas Kugi, Luca Zaccarian:
Reset-control-based current tracking for a solenoid with unknown parameters. ADHS 2021: 199-204 - Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS 2021: 223-228 - Philipp Braun, Luca Zaccarian:
Augmented obstacle avoidance controller design for mobile robots. ADHS 2021: 157-162 - Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer:
ModelGuard: Runtime Validation of Lipschitz-continuous Models. ADHS 2021: 37-42 - Yahao Chen, Stephan Trenn:
An approximation for nonlinear differential-algebraic equations via singular perturbation theory. ADHS 2021: 187-192 - Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers:
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems. ADHS 2021: 151-156 - D. van Dinther, Bardia Sharif, S. J. A. M. van den Eijnden, Henk Nijmeijer, Marcel François Heertjes, W. P. M. H. Heemels:
Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain Systems. ADHS 2021: 289-294 - Clotilde Djuikem, Agustín Gabriel Yabo, Frédéric Grognard, Suzanne Touzeau:
Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation. ADHS 2021: 193-198 - Lucas N. Egidio, Anders Hansson:
On the Search for Equilibrium Points of Switched Affine Systems. ADHS 2021: 301-306 - Wael Fatnassi, Yasser Shoukry:
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. ADHS 2021: 43-48 - Victor Gaßmann, Matthias Althoff:
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. ADHS 2021: 85-90 - Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba:
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. ADHS 2021: 13-18 - Eric Goubault, Sylvie Putot:
Tractable higher-order under-approximating AE extensions for non-linear systems. ADHS 2021: 235-240 - Syed M. Hassaan, Tarun Pati, Qiang Shen, Sze Zheng Yong:
Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data. ADHS 2021: 103-108 - Ilker Isik, Onur Yigit Arpali, Ebru Aydin Gol:
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration. ADHS 2021: 271-276 - Vittorio De Iuliis, Francesco Smarra, Costanzo Manes, Alessandro D'Innocenzo:
On the Stability of Switched ARX Models, with an Application to Learning via Regression Trees. ADHS 2021: 61-66 - Elena Ivanova, Antoine Girard:
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration. ADHS 2021: 109-114 - Jawher Jerray, Laurent Fribourg:
Determination of limit cycles using stroboscopic set-valued maps. ADHS 2021: 139-144 - Jawher Jerray, Laurent Fribourg, Étienne André:
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS 2021: 265-270 - Ryan S. Johnson, Berk Altin, Ricardo G. Sanfelice:
Hybrid Adaptive Control for the DC-DC Boost Converter. ADHS 2021: 73-78 - Atreyee Kundu:
Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems. ADHS 2021: 145-150 - Benoît Legat, Raphaël M. Jungers:
Geometric control of algebraic systems. ADHS 2021: 79-84 - Yinan Li, Zhibing Sun, Jun Liu:
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. ADHS 2021: 31-36
skipping 417 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-11-18 05:06 CET 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
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
