Safe & robust reachability analysis of hybrid systems

QR Code

Safe & robust reachability analysis of hybrid systems

Hybrid systems—more precisely, their mathematical models—can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we observe that, in this context, the usual definition of reachability—namely, the reflexive and transitive closure of a transi...

Full description

Bibliographic Details
Main Authors:	Moggi, Eugenio, Farjudian, Amin, Duracz, Adam, Taha, Walid
Format:	Article
Language:	English
Published:	Elsevier 2018
Subjects:	Hybrid systems; Reachability; Robustness; Domain theory
Online Access:	https://eprints.nottingham.ac.uk/56209/

Similar Items

System analysis and robustness
by: Moggi, Eugenio, et al.
Published: (2019)

On the Kolmogorov complexity of continuous real functions
by: Farjudian, Amin
Published: (2013)

Robust Kernel Density Function Estimation
by: Dadkhah, Kourosh
Published: (2010)

Robust Estimation Methods and Robust Multicollinearity Diagnostics for Multiple Regression Model in the Presence of High Leverage Collinearity-Influential Observations
by: Bagheri, Arezoo
Published: (2011)

Robust diagnostic and robust estimation methods for fixed effect panel data model in presence of high leverage points and multicollinearity
by: Ismaeel, Shelan Saied
Published: (2017)

The performance of mutual information for mixture of bivariate normal disatributions based on robust kernel estimation.
by: Dadkhah, Kourosh, et al.
Published: (2010)

Robust estimation technique and robust autocorrelation diagnostic for multiple Linear Regression Model with autocorrelated errors
by: Lim, Hock Ann
Published: (2014)

Robust detection measures and robust parameter estimation methods in circular univariate and simple circular regression model
by: Mahmood, Ehab Abdulsalam
Published: (2017)

Robust outlier detection and estimation in response surface methodology
by: Mustafa, Mohd Shafie
Published: (2015)

Identification of suitable explanatory variable in goldfeld-quandt test and robust inference under heteroscedasticity and high leverage points
by: Muhammadu, Adamu Adamu
Published: (2016)

Robust diagnostics and variable selection procedure based on modified reweighted fast consistent and high breakdown estimator for high dimensional data
by: Baba, Ishaq Abdullahi
Published: (2022)

Toward robust stability of aircraft electrical power systems: using a μ-based structural singular value to analyze and ensure network stability
by: Sumsurooah, Sharmila, et al.
Published: (2017)

How to understand Pakistan’s hybrid regime: the importance of a multidimensional continuum
by: Adeney, Katharine
Published: (2015)

Performance analysis of hydrokinetic hybrid system with water velocity estimation technique for rural electrification in East Malaysia
by: Mohd Saupi, Almalik Faisel
Published: (2018)

Dual response surface and robust design optimization based on penalty function method
by: Baba, Ishaq Abdullahi
Published: (2015)

Overload robust IGBT design for SSCB application
by: Supono, I., et al.
Published: (2014)

Robust segmentation in laser scanning 3D point cloud data
by: Nurunnabi, Abdul, et al.
Published: (2012)

Design of robust particle swarm optimization - tuned fuzzy controller for a Single Axis Small Magnetic Levitation System
by: Hussein, Basheer Noaman
Published: (2010)

Robust estimation methods for fixed effect panel data model having block-concentrated outliers
by: Abu Bakar @ Harun, Nor Mazlina
Published: (2019)

Explicit hybrid methods for solving special second order ordinary differential equations
by: Samat, Faieza
Published: (2012)

Robust stability analysis of power electronic systems
by: Sumsurooah, Sharmila
Published: (2017)

Development of fuzzy logic for demand response and storage management in hybrid energy system
by: Maghami, Mohammad Reza
Published: (2019)

Robust channel estimation algorithm for dual-hop MIMO relay channels
by: Chiong, C., et al.
Published: (2012)

The generalised discrete algebraic Riccati equation in linear-quadratic optimal control
by: Ferrante, A., et al.
Published: (2013)

Robust Estimation Methods And Outlier Detection In Mediation Models
by: Fitrianto, Anwar
Published: (2010)

Robust variable selection methods for large- scale data in the presence of multicollinearity, autocorrelated errors and outliers
by: Uraibi, Hassan S.
Published: (2016)

Reliability-based approach to the robustness of corroded reinforced concrete structures
by: Cavaco, Eduardo S., et al.
Published: (2017)

Robust Diagnostics In Logistic Regression Model
by: Ariffin @ Mat Zin, Syaiba Balqish
Published: (2010)

Design of robust broadband beamformers with discrete coefficients and least squared criterion
by: Dam, Hai, et al.
Published: (2013)

Harmony search-based robust optimal controller with prior defined structure
by: Rafieishahemabadi, Ali
Published: (2013)

Development of Hybrid Model From CCR-I and SBM-I for Measuring Mix Efficiency Level
by: Asbullah, Muhammad Asyraf
Published: (2010)

Robust diagnostics and estimation for dual response surface function with eteroscedastic errors using new optimization technique in the presence of outliers
by: Ab. Aziz, Nasuhar
Published: (2022)

Robust and powerful tests for nonlinear deterministic components
by: Astill, Sam, et al.
Published: (2014)

The Development of Hybrid Social Enterprises and Governance Management in Thailand
by: Wunsuk, Praphaphan
Published: (2022)

Robust Diagnostics and Estimation in Heteroscedastic Regression Model in the Presence of Outliers
by: Rana, Md. Sohel
Published: (2010)

Model Design of Wind/PV/Fossil-Fuel Hybrid Systems
by: Lagunas, J., et al.
Published: (2004)

An optimal control approach to robust control of nonlinear spacecraft rendezvous system with θ-D technique
by: Gao, X., et al.
Published: (2013)

A study of variability and applicability of various signal processing techniques in structural system identification
by: Bao, C., et al.
Published: (2013)

Accessible bounds for general quantum resources
by: Bromley, Thomas R., et al.
Published: (2018)

Robust Outlier Detection and Saliency Features Estimation in Point Cloud Data
by: Nurunnabi, Abdul, et al.
Published: (2013)