Search results
From MaRDI portal
- aggregative games under persistent attacks: a hybrid systems approach 2020-11-03 Paper Linear Hybrid Systems With Periodic Jumps: A Notion of Strong Observability...10 bytes (19 words) - 16:38, 6 December 2023
- Heterogeneous Networks of Embedded Systems 2007-05-08 Paper Hybrid Systems: Computation and Control 2007-05-02 Paper Hybrid Systems: Computation and Control 2007-05-02...10 bytes (18 words) - 22:39, 9 December 2023
- 2008-01-31 Paper Hybrid Systems: Computation and Control 2007-09-25 Paper Hybrid systems in automotive electronics design 2007-05-18 Paper Hybrid Systems: Computation...10 bytes (16 words) - 13:11, 13 December 2023
- Publication Type Hybrid control of networked embedded systems 2014-08-07 Paper Efficient mode enumeration of compositional hybrid systems 2010-04-06 Paper...10 bytes (16 words) - 07:24, 13 December 2023
- principles for switching systems via hybrid systems techniques 2008-11-20 Paper Generalized solutions to hybrid dynamical systems 2008-10-31 Paper https://portal...10 bytes (16 words) - 00:46, 12 December 2023
- Constrained Linear Systems by Virtual State Governors 2017-05-16 Paper Stabilizing Dynamic Controllers for Hybrid Systems: A Hybrid Control Lyapunov Function...10 bytes (18 words) - 03:46, 12 December 2023
- Problem in Hybrid Systems Model Checking 2009-03-11 Paper Differential Logic for Reasoning About Hybrid Systems 2009-03-11 Paper KeYmaera: A Hybrid Theorem...10 bytes (17 words) - 03:28, 7 October 2023
- for rectangular hybrid systems 2015-10-30 Paper Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems 2014-11-03 Paper Efficient Probabilistic Model...10 bytes (18 words) - 09:54, 7 October 2023
- Analysis of Hybrid Systems 2015-02-04 Paper Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems 2014-11-03 Paper Introduction to Hybrid Automata 2013-02-26...10 bytes (16 words) - 18:08, 6 October 2023
- Functions for Hybrid Systems Part II: (Pre)Asymptotically Stable Compact Sets 2017-08-08 Paper Smooth Lyapunov Functions for Hybrid Systems—Part I: Existence...10 bytes (16 words) - 00:39, 25 September 2023
- stability of sets for hybrid dynamical systems 2019-04-24 Paper Hybrid dynamical systems 2018-09-14 Paper Hybrid Stabilization of Linear Systems With Reverse Polytopic...10 bytes (18 words) - 14:23, 6 October 2023
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems 2011-06-27 Paper Engineering constraint solvers...10 bytes (16 words) - 00:39, 25 September 2023
- verification of non-linear hybrid systems is quasi-decidable 2014-06-30 Paper Safety verification for probabilistic hybrid systems 2014-01-21 Paper Incremental...10 bytes (16 words) - 14:05, 7 October 2023
- of Stochastic Hybrid Systems by Optimal Control 2008-09-02 Paper Hybrid Systems: Computation and Control 2007-09-25 Paper Hybrid Systems: Computation and...10 bytes (17 words) - 02:39, 7 October 2023
- for Linear Hybrid Automata 2008-09-02 Paper On Timed Simulation Relations for Hybrid Systems and Compositionality 2008-07-08 Paper Hybrid Systems: Computation...10 bytes (16 words) - 22:48, 24 September 2023
- 2011-12-07 Paper STORMED Hybrid Games 2009-04-30 Paper A Decidable Class of Planar Linear Hybrid Systems 2008-09-02 Paper STORMED Hybrid Systems 2008-08-19 Paper...10 bytes (16 words) - 09:45, 24 September 2023
- 2008-03-18 Paper Hybrid Systems: Computation and Control 2007-09-25 Paper Hybrid Systems: Computation and Control 2007-05-02 Paper Hybrid Systems: Computation...10 bytes (16 words) - 07:54, 7 October 2023
- Computation 2016-01-08 Paper Hybrid automata-based CEGAR for rectangular hybrid systems 2015-10-30 Paper Anonymized Reachability of Hybrid Automata Networks 2015-08-06...10 bytes (17 words) - 03:21, 7 October 2023
- of hybrid stochastic systems by intermittent feedback controls 2023-07-18 Paper Stabilisation in distribution by delay feedback controls for hybrid stochastic...10 bytes (16 words) - 11:27, 7 October 2023
- unknowns in DAE-based hybrid system specification 2018-06-12 Paper Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi 2014-01-17...10 bytes (20 words) - 21:02, 24 September 2023