scientific article; zbMATH DE number 1444340
From MaRDI portal
Publication:4953379
zbMath0962.93070MaRDI QIDQ4953379
Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Guido M. Miconi, Ugo Pozzi, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi
Publication date: 18 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Reliability, availability, maintenance, inspection in operations research (90B25) Application models in control theory (93C95) Discrete event control/observation systems (93C65)
Related Items
Algorithmic analysis of polygonal hybrid systems. I: Reachability, Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems, Hybrid systems: Modelling and analysis using emergent dynamics, A new formulation for the safe set problem on graphs, Digital idle speed control of automotive engines: a safety problem for hybrid systems, Inclusion dynamics hybrid automata
