Class information for: |
Basic class information |
ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
---|---|---|---|
8805 | 1147 | 27.5 | 42% |
Classes in level above (level 2) |
ID, lev. above |
Publications | Label for level above |
---|---|---|
216 | 20103 | FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE |
Terms with highest relevance score |
Rank | Term | Type of term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
---|---|---|---|---|---|---|
1 | HYBRID SYSTEMS | Author keyword | 31 | 12% | 21% | 236 |
2 | DISCRETE ABSTRACTION | Author keyword | 11 | 67% | 1% | 10 |
3 | COMPLEMENTARITY SYSTEMS | Author keyword | 10 | 63% | 1% | 10 |
4 | PIECEWISE AFFINE SYSTEMS | Author keyword | 8 | 24% | 3% | 29 |
5 | HYBRID AUTOMATA | Author keyword | 7 | 24% | 2% | 27 |
6 | EXCELLENCE DEWS | Address | 7 | 31% | 2% | 18 |
7 | SYMBOLIC MODELS | Author keyword | 6 | 41% | 1% | 12 |
8 | REACHABILITY | Author keyword | 6 | 11% | 5% | 53 |
9 | SYMBOLIC CONTROL | Author keyword | 6 | 53% | 1% | 8 |
10 | STOCHASTIC HYBRID SYSTEMS | Author keyword | 6 | 28% | 1% | 17 |
Web of Science journal categories |
Author Key Words |
Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
LCSH search | Wikipedia search |
---|---|---|---|---|---|---|---|
1 | HYBRID SYSTEMS | 31 | 12% | 21% | 236 | Search HYBRID+SYSTEMS | Search HYBRID+SYSTEMS |
2 | DISCRETE ABSTRACTION | 11 | 67% | 1% | 10 | Search DISCRETE+ABSTRACTION | Search DISCRETE+ABSTRACTION |
3 | COMPLEMENTARITY SYSTEMS | 10 | 63% | 1% | 10 | Search COMPLEMENTARITY+SYSTEMS | Search COMPLEMENTARITY+SYSTEMS |
4 | PIECEWISE AFFINE SYSTEMS | 8 | 24% | 3% | 29 | Search PIECEWISE+AFFINE+SYSTEMS | Search PIECEWISE+AFFINE+SYSTEMS |
5 | HYBRID AUTOMATA | 7 | 24% | 2% | 27 | Search HYBRID+AUTOMATA | Search HYBRID+AUTOMATA |
6 | SYMBOLIC MODELS | 6 | 41% | 1% | 12 | Search SYMBOLIC+MODELS | Search SYMBOLIC+MODELS |
7 | REACHABILITY | 6 | 11% | 5% | 53 | Search REACHABILITY | Search REACHABILITY |
8 | SYMBOLIC CONTROL | 6 | 53% | 1% | 8 | Search SYMBOLIC+CONTROL | Search SYMBOLIC+CONTROL |
9 | STOCHASTIC HYBRID SYSTEMS | 6 | 28% | 1% | 17 | Search STOCHASTIC+HYBRID+SYSTEMS | Search STOCHASTIC+HYBRID+SYSTEMS |
10 | REACH SETS | 6 | 100% | 0% | 4 | Search REACH+SETS | Search REACH+SETS |
Key Words Plus |
Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
---|---|---|---|---|---|
1 | ALGORITHMIC ANALYSIS | 32 | 57% | 3% | 38 |
2 | HYBRID SYSTEMS | 27 | 11% | 20% | 229 |
3 | REACHABILITY ANALYSIS | 20 | 33% | 4% | 49 |
4 | PIECEWISE AFFINE SYSTEMS | 15 | 37% | 3% | 32 |
5 | COMPLEMENTARITY SYSTEMS | 13 | 53% | 1% | 17 |
6 | DISCRETE ABSTRACTIONS | 11 | 60% | 1% | 12 |
7 | REACHABILITY | 9 | 14% | 6% | 65 |
8 | COMPUTATIONAL TECHNIQUES | 7 | 29% | 2% | 20 |
9 | MINIMAL HYBRID SYSTEMS | 7 | 57% | 1% | 8 |
10 | ABSTRACTIONS | 7 | 23% | 2% | 26 |
Journals |
Reviews |
Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
---|---|---|---|---|
Formal verification of analog and mixed signal designs: A survey | 2008 | 21 | 14 | 57% |
Differential variational inequalities | 2008 | 73 | 37 | 22% |
Stability analysis and controller synthesis for hybrid dynamical systems | 2010 | 11 | 66 | 33% |
Logics for hybrid systems | 2000 | 46 | 29 | 48% |
Conflict-Tolerant Specifications for Hybrid Systems | 2013 | 0 | 9 | 56% |
Temporal Logic Motion Planning | 2010 | 1 | 12 | 42% |
Some perspectives on the analysis and control of complementarity systems | 2003 | 67 | 40 | 15% |
Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology | 2009 | 0 | 53 | 25% |
Address terms |
Rank | Address term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
---|---|---|---|---|---|
1 | EXCELLENCE DEWS | 7 | 31% | 1.6% | 18 |
2 | FDN INTELLIGENT SYST | 3 | 100% | 0.3% | 3 |
3 | ISIS EECS | 3 | 100% | 0.3% | 3 |
4 | EQUAT | 1 | 12% | 1.0% | 11 |
5 | BIPOP PROJECT | 1 | 50% | 0.2% | 2 |
6 | CT AST | 1 | 100% | 0.2% | 2 |
7 | DIPARTIMENTO INGN INFORMAZ DINFO | 1 | 50% | 0.2% | 2 |
8 | SPE E | 1 | 100% | 0.2% | 2 |
9 | TEAM BIPOP | 1 | 100% | 0.2% | 2 |
10 | BIPOP PROJECT TEAM | 1 | 33% | 0.3% | 3 |
Related classes at same level (level 1) |
Rank | Relatedness score | Related classes |
---|---|---|
1 | 0.0000209401 | TIMED AUTOMATA//TIME PETRI NETS//DURATION CALCULUS |
2 | 0.0000133197 | TIME SCALING TRANSFORMATION//OPTIMAL CONTROL COMPUTATION//CONTROL PARAMETERIZATION |
3 | 0.0000132838 | SWITCHED SYSTEMS//AVERAGE DWELL TIME//ASYNCHRONOUS SWITCHING |
4 | 0.0000119560 | DISCRETE EVENT SYSTEMS//DISCRETE EVENT SYSTEMS DESS//SUPERVISORY CONTROL |
5 | 0.0000091255 | VIABILITY THEORY//VIABILITY KERNEL//VIABLE CONTROL |
6 | 0.0000060148 | INFORMAT TECHNOL CORE S//DISCRIMINANT SEQUENCE//ROOT CLASSIFICATION |
7 | 0.0000057289 | MODAL MU CALCULUS//PARITY GAMES//TEMPORAL LOGIC |
8 | 0.0000056897 | METHOD OF AUXILIARY MODELS//DYNAMIC BLOCKING PROBLEM//VIABILITY CONDITION |
9 | 0.0000056623 | MODEL PREDICTIVE CONTROL//PREDICTIVE CONTROL//RECEDING HORIZON CONTROL |
10 | 0.0000054894 | SYNCHRONOUS LANGUAGES//STATECHARTS//ESTEREL |