Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors

2013 ◽  
pp. 182-198 ◽  
Author(s):  
Andreas Abel ◽  
Allon Adir ◽  
Torsten Blochwitz ◽  
Lev Greenberg ◽  
Tamer Salman
Keyword(s):  
Hybrid Systems ◽  
Complex Hybrid

scholarly journals A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems

2010 ◽  
Vol 40 (5) ◽  
pp. 917-931 ◽  
Author(s):  
Matthew J. Daigle ◽  
Indranil Roychoudhury ◽  
Gautam Biswas ◽  
Xenofon D. Koutsoukos ◽  
Ann Patterson-Hine ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Power Distribution ◽  
Distribution Systems ◽  
Power Distribution Systems ◽  
Comprehensive Diagnosis ◽  
Complex Hybrid

Integrated approach to diagnosis of complex hybrid systems

2001 ◽  
Author(s):  
Sriram Narasimhan ◽  
Gautam Biswas ◽  
Gabor Karsai
Keyword(s):  
Hybrid Systems ◽  
Integrated Approach ◽  
Complex Hybrid

Complex Hybrid Systems: Stability Analysis for Omega Limit Sets

2006 ◽  
Author(s):  
Cai Chaohong ◽  
Goebel Rafal ◽  
G. Sanfelice Ricardo ◽  
R. Teel Andrew
Keyword(s):  
Stability Analysis ◽  
Hybrid Systems ◽  
Limit Sets ◽  
Complex Hybrid

Automated and Continuous-Flow Platform to Analyze Semiconductor–Metal Complex Hybrid Systems for Photocatalytic CO2 Reduction

ACS Catalysis ◽  
2021 ◽  
pp. 11266-11277
Author(s):  
Constantin D. Sahm ◽  
Geani M. Ucoski ◽  
Souvik Roy ◽  
Erwin Reisner
Keyword(s):  
Metal Complex ◽  
Hybrid Systems ◽  
Continuous Flow ◽  
Co2 Reduction ◽  
Complex Hybrid
Sign in / Sign up

Export Citation Format

Share Document