NONLINEAR ANALYSIS-HYBRID SYSTEMS

View Statistics Email Alert RSS Feed

Journal description

Title Titel
NONLINEAR ANALYSIS-HYBRID SYSTEMS
 
e-ISSN
1878-7460
 
ISSN
1751-570X
 
Publisher Herausgeber
ELSEVIER SCI LTD
 
Publisher's Address Herausgeber Adresse
125 London Wall, London, England, EC2Y 5AS
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Manjunath ; Ničković, Dejan Adaptive testing for specification coverage and refinement in CPS modelsArticle Artikel Nov-2022
2Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidabilityArtikel Article Feb-2017
3Ferdowsi-2025-NONLINEAR ANALYSIS-HYBRID SYSTEMS-vor.pdf.jpgFerdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich ; Drmota, Michael Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEsArticle Artikel May-2025
4Winkler, Stefanie ; Körner, Andreas ; Breitenecker, Felix Modelling framework for artificial hybrid dynamical systemsArtikel Article Nov-2021