Остановите войну!
for scientists:
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
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 44 matches
- 2005
- Manindra Agrawal, P. S. Thiagarajan:
The Discrete Time Behavior of Lazy Linear Hybrid Automata. HSCC 2005: 55-69 - Rajeev Alur, Salvatore La Torre, P. Madhusudan:
Perturbed Timed Automata. HSCC 2005: 70-85 - Aaron D. Ames, Shankar Sastry:
A Homology Theory for Hybrid Systems: Hybrid Homology. HSCC 2005: 86-102 - Mohamed Babaali, George J. Pappas:
Observability of Switched Linear Systems in Continuous Time. HSCC 2005: 103-117 - Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli:
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. HSCC 2005: 118-133 - Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider:
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. HSCC 2005: 134-150 - Alberto Bemporad, Stefano Di Cairano:
Optimal Control of Discrete Hybrid Stochastic Automata. HSCC 2005: 151-167 - Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg E. Stewart, Kingsley Fregene, Datta N. Godbole:
Hybrid Decentralized Control of Large Scale Systems. HSCC 2005: 168-183 - Jean Buisson, Pierre-Yves Richard, Hervé Cormerais:
On the Stabilisation of Switching Electrical Power Converters. HSCC 2005: 184-197 - Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu:
Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214 - Sophie Chareyron, Pierre-Brice Wieber:
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction. HSCC 2005: 215-225 - Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh:
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257 - Goran Frehse:
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. HSCC 2005: 258-273 - Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi:
Coordinated Control for Highly Reconfigurable Systems. HSCC 2005: 1-24 - Tobias Geyer, Georgios Papafotiou:
Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility. HSCC 2005: 274-290 - Antoine Girard:
Reachability of Uncertain Linear Systems Using Zonotopes. HSCC 2005: 291-305 - Sonja Glavaski, Antonis Papachristodoulou, Kartik B. Ariyur:
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. HSCC 2005: 306-321 - João P. Hespanha:
Polynomial Stochastic Hybrid Systems. HSCC 2005: 322-338 - Ian A. Hiskens:
Non-uniqueness in Reverse Time of Hybrid System Trajectories. HSCC 2005: 339-353 - Aleksandar Lj. Juloski, W. P. M. H. Heemels, Giancarlo Ferrari-Trecate, René Vidal, Simone Paoletti, J. H. G. Niessen:
Comparison of Four Procedures for the Identification of Hybrid Systems. HSCC 2005: 354-369 - Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler:
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385 - Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet:
Mode-Automata Based Methodology for Scade. HSCC 2005: 386-401 - Ruggero Lanotte, Simone Tini:
Taylor Approximation for Hybrid Systems. HSCC 2005: 402-416 - Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu:
Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems. HSCC 2005: 417-432 - Andrea Lecchini, William Glover, John Lygeros, Jan M. Maciejowski:
Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. HSCC 2005: 433-448 - Edward A. Lee, Haiyang Zheng:
Operational Semantics of Hybrid Systems. HSCC 2005: 25-53 - Yi Ma, René Vidal:
Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties. HSCC 2005: 449-465 - Tejas R. Mehta, Magnus Egerstedt:
Learning Multi-modal Control Programs. HSCC 2005: 466-479 - Ian M. Mitchell, Jeremy A. Templeton:
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. HSCC 2005: 480-494 - Katsunori Nakamura, Akira Fusaoka:
On Transfinite Hybrid Automata. HSCC 2005: 495-510
skipping 14 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-05-29 23:01 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