Class information for:
Level 1: HYBRID SYSTEMS//APPROXIMATE BISIMULATION//SAFETY VERIFICATION

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
11986 939 28.4 40%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
237 2             COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING 20142
11986 1                   HYBRID SYSTEMS//APPROXIMATE BISIMULATION//SAFETY VERIFICATION 939

Terms with highest relevance score


rank Term termType Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 HYBRID SYSTEMS authKW 728794 19% 13% 179
2 APPROXIMATE BISIMULATION authKW 327883 1% 92% 11
3 SAFETY VERIFICATION authKW 313237 2% 57% 17
4 REACHABILITY authKW 262726 6% 14% 56
5 DISCRETE ABSTRACTION authKW 239444 1% 82% 9
6 SYMBOLIC MODELS authKW 228966 1% 54% 13
7 HYBRID AUTOMATA authKW 223367 2% 30% 23
8 REACH CONTROL PROBLEM authKW 195105 1% 100% 6
9 SYMBOLIC CONTROL authKW 188131 1% 64% 9
10 LINEAR TEMPORAL LOGIC LTL authKW 167231 1% 86% 6

Web of Science journal categories


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 Automation & Control Systems 38763 42% 0% 394
2 Robotics 14417 11% 0% 107
3 Computer Science, Theory & Methods 12705 32% 0% 302
4 Computer Science, Software Engineering 3967 15% 0% 144
5 Remote Sensing 2186 7% 0% 63
6 Engineering, Electrical & Electronic 1701 26% 0% 248
7 Mathematical & Computational Biology 1402 7% 0% 69
8 Mathematics, Applied 1025 14% 0% 133
9 Computer Science, Hardware & Architecture 793 5% 0% 51
10 Logic 607 2% 0% 17

Address terms


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 EXCELLENCE DEWS 150483 2% 26% 18
2 ARBEITSBEREICH REGELUNGSTECH 130070 0% 100% 4
3 FDN INTELLIGENT SYST 97553 0% 100% 3
4 ISIS EECS 97553 0% 100% 3
5 CT AST 65035 0% 100% 2
6 INTEGRATED VEHICLE SYST 65035 0% 100% 2
7 SPE E 65035 0% 100% 2
8 EQUAT 52007 1% 13% 12
9 BCI AST 43355 0% 67% 2
10 GRP HYBRID SYST 43355 0% 67% 2

Journals


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class
1 NONLINEAR ANALYSIS-HYBRID SYSTEMS 31175 2% 4% 23
2 FORMAL METHODS IN SYSTEM DESIGN 28526 2% 4% 21
3 IEEE TRANSACTIONS ON AUTOMATIC CONTROL 22988 9% 1% 88
4 LECTURE NOTES IN COMPUTER SCIENCE 15932 22% 0% 209
5 DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS 14323 1% 3% 13
6 AUTOMATICA 11178 6% 1% 52
7 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 6272 1% 2% 8
8 MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS 5177 1% 2% 9
9 IEEE ROBOTICS & AUTOMATION MAGAZINE 4293 1% 1% 9
10 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 4257 0% 3% 4

Author Key Words


Rank Term Chi square Shr. of publ. in
class containing
term		 Class's shr. of
term's tot. occurrences		 #P with
term in
class		 LCSH search Wikipedia search
1 HYBRID SYSTEMS 728794 19% 13% 179 Search HYBRID+SYSTEMS Search HYBRID+SYSTEMS
2 APPROXIMATE BISIMULATION 327883 1% 92% 11 Search APPROXIMATE+BISIMULATION Search APPROXIMATE+BISIMULATION
3 SAFETY VERIFICATION 313237 2% 57% 17 Search SAFETY+VERIFICATION Search SAFETY+VERIFICATION
4 REACHABILITY 262726 6% 14% 56 Search REACHABILITY Search REACHABILITY
5 DISCRETE ABSTRACTION 239444 1% 82% 9 Search DISCRETE+ABSTRACTION Search DISCRETE+ABSTRACTION
6 SYMBOLIC MODELS 228966 1% 54% 13 Search SYMBOLIC+MODELS Search SYMBOLIC+MODELS
7 HYBRID AUTOMATA 223367 2% 30% 23 Search HYBRID+AUTOMATA Search HYBRID+AUTOMATA
8 REACH CONTROL PROBLEM 195105 1% 100% 6 Search REACH+CONTROL+PROBLEM Search REACH+CONTROL+PROBLEM
9 SYMBOLIC CONTROL 188131 1% 64% 9 Search SYMBOLIC+CONTROL Search SYMBOLIC+CONTROL
10 LINEAR TEMPORAL LOGIC LTL 167231 1% 86% 6 Search LINEAR+TEMPORAL+LOGIC+LTL Search LINEAR+TEMPORAL+LOGIC+LTL

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 GUEGUEN, H , LEFEBVRE, MA , ZAYTOON, J , NASRI, O , (2009) SAFETY VERIFICATION AND REACHABILITY ANALYSIS FOR HYBRID SYSTEMS.ANNUAL REVIEWS IN CONTROL. VOL. 33. ISSUE 1. P. 25-36 34 87% 14
2 ASARIN, E , DANG, T , GIRARD, A , (2007) HYBRIDIZATION METHODS FOR THE ANALYSIS OF NONLINEAR SYSTEMS.ACTA INFORMATICA. VOL. 43. ISSUE 7. P. 451-476 27 82% 37
3 TARRAF, DC , (2014) AN INPUT-OUTPUT CONSTRUCTION OF FINITE STATE RHO/MU APPROXIMATIONS FOR CONTROL DESIGN.IEEE TRANSACTIONS ON AUTOMATIC CONTROL. VOL. 59. ISSUE 12. P. 3164 -3177 21 84% 2
4 GIRARD, A , ZHENG, G , (2012) VERIFICATION OF SAFETY AND LIVENESS PROPERTIES OF METRIC TRANSITION SYSTEMS.ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. VOL. 11. ISSUE . P. - 18 95% 1
5 GIRARD, A , PAPPAS, GJ , (2011) APPROXIMATE BISIMULATION: A BRIDGE BETWEEN COMPUTER SCIENCE AND CONTROL THEORY.EUROPEAN JOURNAL OF CONTROL. VOL. 17. ISSUE 5-6. P. 568-578 18 82% 20
6 PRAJNA, S , JADBABAIE, A , PAPPAS, GJ , (2007) A FRAMEWORK FOR WORST-CASE AND STOCHASTIC SAFETY VERIFICATION USING BARRIER CERTIFICATES.IEEE TRANSACTIONS ON AUTOMATIC CONTROL. VOL. 52. ISSUE 8. P. 1415 -1428 21 70% 79
7 DANG, T , LE GUERNIC, C , MALER, O , (2011) COMPUTING REACHABLE STATES FOR NONLINEAR BIOLOGICAL MODELS.THEORETICAL COMPUTER SCIENCE. VOL. 412. ISSUE 21. P. 2095 -2107 18 82% 7
8 KONG, H , SONG, XY , HAN, D , GU, M , SUN, JG , (2014) A NEW BARRIER CERTIFICATE FOR SAFETY VERIFICATION OF HYBRID SYSTEMS.COMPUTER JOURNAL. VOL. 57. ISSUE 7. P. 1033 -1045 19 73% 1
9 MAIGA, M , RAMDANI, N , TRAVE-MASSUYES, L , COMBASTEL, C , (2016) A COMPREHENSIVE METHOD FOR REACHABILITY ANALYSIS OF UNCERTAIN NONLINEAR HYBRID SYSTEMS.IEEE TRANSACTIONS ON AUTOMATIC CONTROL. VOL. 61. ISSUE 9. P. 2341 -2356 22 55% 1
10 POLA, G , PEPE, P , BENEDETTO, MD , (2016) SYMBOLIC MODELS FOR NETWORKS OF CONTROL SYSTEMS.IEEE TRANSACTIONS ON AUTOMATIC CONTROL. VOL. 61. ISSUE 11. P. 3663 -3668 16 80% 0

Classes with closest relation at Level 1


Rank Class id link
1 8670 TIMED AUTOMATA//TIME PETRI NETS//MODEL CHECKING
2 35420 INCREMENTAL STABILITY//CONTRACTION THEORY//REACTION DIFFUSION PDES
3 8682 DISCRETE EVENT SYSTEMS//SUPERVISORY CONTROL//DISCRETE EVENT SYSTEMS DESS
4 2348 SWITCHED SYSTEMS//AVERAGE DWELL TIME//SWITCHED LINEAR SYSTEMS
5 25038 ALMOST EVERYWHERE STABILITY//DOMAIN OF ATTRACTION//BORGS CRITERION
6 26505 SET OF TRAJECTORIES//ATTRACTION SET//INTEGRAL CONSTRAINT
7 30971 METHOD OF AUXILIARY MODELS//RECONSTRUCTION OF DISTURBANCES//INPUT IDENTIFICATION
8 20476 OCCUPATIONAL MEASURES//CONTROL SETS//DIFFERENTIAL INCLUSIONS
9 6407 ABSTRACT INTERPRETATION//SEPARATION LOGIC//PREDICATE ABSTRACTION
10 34457 VIABILITY THEORY//CE P//DEMAND FOR CLIMATE PROTECTION

Go to start page