IRIS
POLA, GIORDANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.263
AS - Asia 2.915
EU - Europa 2.734
SA - Sud America 419
AF - Africa 51
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 11.394
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.196
SG - Singapore 1.332
RU - Federazione Russa 677
IE - Irlanda 649
CN - Cina 625
BR - Brasile 375
TR - Turchia 318
DE - Germania 297
IT - Italia 255
HK - Hong Kong 238
VN - Vietnam 202
UA - Ucraina 193
GB - Regno Unito 192
FR - Francia 128
SE - Svezia 125
FI - Finlandia 113
IN - India 48
CA - Canada 45
NL - Olanda 38
JP - Giappone 29
IQ - Iraq 25
ZA - Sudafrica 20
BD - Bangladesh 19
BE - Belgio 17
EC - Ecuador 12
ES - Italia 12
PL - Polonia 12
AR - Argentina 11
MX - Messico 11
MA - Marocco 10
PK - Pakistan 7
UZ - Uzbekistan 7
AU - Australia 6
VE - Venezuela 6
AZ - Azerbaigian 5
CL - Cile 5
ID - Indonesia 5
MY - Malesia 5
NP - Nepal 5
AL - Albania 4
CZ - Repubblica Ceca 4
JO - Giordania 4
KE - Kenya 4
KZ - Kazakistan 4
LB - Libano 4
LT - Lituania 4
PY - Paraguay 4
SA - Arabia Saudita 4
AE - Emirati Arabi Uniti 3
AT - Austria 3
BG - Bulgaria 3
CI - Costa d'Avorio 3
EU - Europa 3
IR - Iran 3
OM - Oman 3
PH - Filippine 3
SN - Senegal 3
TH - Thailandia 3
TW - Taiwan 3
CO - Colombia 2
DZ - Algeria 2
EG - Egitto 2
GT - Guatemala 2
HN - Honduras 2
KR - Corea 2
LK - Sri Lanka 2
LU - Lussemburgo 2
PA - Panama 2
PE - Perù 2
PS - Palestinian Territory 2
TN - Tunisia 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
BH - Bahrain 1
CH - Svizzera 1
CR - Costa Rica 1
DK - Danimarca 1
DM - Dominica 1
EE - Estonia 1
GA - Gabon 1
GR - Grecia 1
GS - Georgia del Sud e Isole Sandwich Australi 1
HT - Haiti 1
IL - Israele 1
IS - Islanda 1
KG - Kirghizistan 1
KH - Cambogia 1
LC - Santa Lucia 1
MM - Myanmar 1
MR - Mauritania 1
NZ - Nuova Zelanda 1
RE - Reunion 1
SK - Slovacchia (Repubblica Slovacca) 1
TG - Togo 1
TT - Trinidad e Tobago 1
Totale 11.394
Salva come PNG Salva come JPEG
Città #
Jacksonville 743
Singapore 742
Dublin 649
Chandler 619
San Jose 552
Dallas 492
Ashburn 279
Santa Clara 250
Hong Kong 229
Boardman 219
The Dalles 168
Nanjing 147
New York 146
Izmir 144
Council Bluffs 121
Moscow 113
San Mateo 103
Lawrence 101
Princeton 101
Wilmington 88
Ho Chi Minh City 77
Lauterbourg 72
Ann Arbor 67
Los Angeles 55
Hanoi 46
Shenyang 45
Milan 41
Beijing 39
Munich 39
Nanchang 38
Amsterdam 34
Rome 34
São Paulo 34
Woodbridge 34
Verona 28
Tokyo 26
Mountain View 24
Seattle 24
Columbus 23
Tianjin 23
Helsinki 22
Orem 22
Frankfurt am Main 21
Hebei 21
Berlin 20
Changsha 20
Hangzhou 20
Jinan 19
Kunming 19
Brooklyn 17
Brussels 17
Hefei 17
Jiaxing 17
San Francisco 16
Houston 15
Belo Horizonte 14
Chennai 14
Chicago 14
L'aquila 14
L’Aquila 14
Shanghai 14
Des Moines 13
Ningbo 13
Boston 12
Guangzhou 12
Montreal 12
Zhengzhou 12
Dearborn 11
Denver 11
Johannesburg 11
Pune 11
Warsaw 11
Brasília 10
Haiphong 10
Turku 10
Rio de Janeiro 9
Stockholm 9
Assago 8
Baghdad 8
Lappeenranta 8
Norwalk 8
Ottawa 8
Toronto 8
Nuremberg 7
Pescara 7
Phoenix 7
Quito 7
Taizhou 7
Da Nang 6
London 6
Poplar 6
Ankara 5
Atlanta 5
Baku 5
Cape Town 5
Central District 5
Curitiba 5
Giulianova 5
Guarulhos 5
Lanzhou 5
Totale 7.499
Salva come PNG Salva come JPEG
Nome #
String Stability of a Vehicular Platoon With the Use of Macroscopic Information 154
A Condition and Fault Prevention Monitoring System for Industrial Computer Numerical Control Machinery 152
Symbolic models for nonlinear control systems affected by disturbances 146
On Sampled-Data Control of Nonlinear Asynchronous Switched Systems 143
Symbolic models for nonlinear control systems using approximate bisimulation 139
Output Feedback Reachability of Controlled–Observable States for Nondeterministic Finite–State Systems 135
Approximately bisimilar symbolic models for incrementally stable switched systems 133
Approximately bisimilar symbolic models for nonlinear control systems 132
On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon 130
A Mesoscopic Human-Inspired Adaptive Cruise Control for Eco-Driving 129
Symbolic Models for Nonlinear Time-Delay Systems Using Approximate Bisimulations 128
On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Uncertain Time-Varying Time-Delays 126
Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems 126
Digital idle speed control of automotive engines: A safety problem for hybrid systems 125
Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes 125
On the design and the digital implementation of observer-based controllers for tracking of nonlinear time-delay systems 123
Symbolic Models for Time–Varying Time–Delay Systems via Alternating Approximate Bisimulation 121
A complexity reduction approach to detectability of switching systems 120
Decentralized symbolic control of interconnected systems with application to vehicle platooning 119
Integrated design of symbolic controllers for nonlinear systems 118
An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications 118
Approximate predictability of Pseudo-Metric Systems 116
Design of decentralized critical observers for networks of finite state machines: A formal method approach 115
On approximate diagnosability of metric systems 113
On approximate predictability of metric systems⁎ 113
Symbolic models approximating possibly unstable time–delay systems with application to the artificial pancreas 113
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications 111
Balancing dwell times for switchimg linear systems 110
A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving 110
Safety and stabilizability conditions for switching linear systems 109
Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems’ Approach 109
Can linear stabilizability analysis be generalized to switching systems? 108
Inner approximations of domains of attraction for constrained continuous time linear systems 108
On the Digital Event-Based Implementation of a Glucose Regulator via Subcutaneous Insulin Infusion 107
Towards a Unified Theory for the Control of CPS: A Symbolic Approach 107
Scalable Mesh Stability of Nonlinear Interconnected Systems 107
On the robustification of digital event-based stabilizers for nonlinear time-delay systems 106
Symbolic models for nonlinear control systems without stability assumptions 106
On the digital event-based control for nonlinear time-delay systems with exogenous disturbances 105
Stabilizability of linear switching systems 105
A symbolic approach to the design of nonlinear networked control systems 105
Approximately bisimilar symbolic models for incrementally stable switched systems 105
Preface 105
A hybrid controller for purity control of a pressure swing adsorption process 105
A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems 104
On Equivalence Notions for Discrete–Time Stochastic Control Systems 104
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems 104
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach 103
Observability of Internal Variables in Interconnected Switching Systems 103
A Compositional Approach to Bisimulation of Arenas of Finite State Machines 103
Observability of discrete-time Linear Switching Systems 103
Data-driven controller synthesis for abstract systems with regular language specifications 102
Symbolic models for nonlinear control systems affected by disturbances 101
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays 100
On Symbolic Control Design of Discrete–Time Nonlinear Systems with State Quantized Measurements 100
Maximal Safe Set Computation for Pressure Swing Adsorption Processes 100
Approximate Diagnosis of Metric Systems 99
Critical Observability of Networks of Finite State Machines 98
On observability and detectability of continuous-time linear switching systems 98
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems affected by Disturbances 98
Symbolic models for unstable nonlinear control systems 97
Mesoscopic Controller for String Stability of Platoons With Disturbances 96
A structural approach to detectability for a class of hybrid systems 96
On achievable behavior of stochastic descriptor systems 96
Design of Symbolic Controllers for Networked Control Systems 96
On data–driven controller synthesis with regular language specifications 96
Achievable bisimilar behaviour of abstract state systems 95
The Concept of Deadlock and Livelock in Hybrid Control Systems 95
A Theoretical Framework for Control Over Wireless Networks 94
Stochastic Hybrid Models: An Overview 94
Controlled safe sets for continuous-time linear systems 94
Symbolic Models for Networks of Control Systems 94
Symbolic models for nonlinear control systems: Alternating approximate bisimulations 94
Critical observability of a class of hybrid systems and application to air traffic management 94
Engine idle speed control via maximal safe set computation in the crank-angle domain 93
A stochastic reachability approach to portfolio construction in finance industry 93
Symbolic models for linear control systems with disturbances 93
On external behavior equivalence of continuous–time stochastic linear control systems 93
Approximate current state observability of discrete-time nonlinear systems under cyber-attacks 92
Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach 92
Decentralized Supervisory Control of Networks of Nonlinear Control Systems 92
Symbolic control design of nonlinear systems with outputs 92
Equivalence of switching linear systems by bisimulation 91
Observability of linear switched systems 91
A COMPLEXITY REDUCTION APPROACH TO THE DETECTION OF SAFETY CRITICAL SITUATIONS IN AIR TRAFFIC MANAGEMENT SYSTEMS 91
A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems 91
Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation 90
On symbolic control design of nonlinear systems with dynamic regular language specifications 90
Structural discrete state space decompositions for a class of hybrid systems 89
Modelling Sensors Degradation for Water Quality Monitoring: A Data-Driven Approach 88
Detectability based state space reductions for hybrid systems 88
Optimal Dynamic Asset Allocation: A Stochastic Invariance Approach 88
Stabilizability of affine switching systems: A Kalman-like approach 87
Bisimulation Theory for Switching Linear Systems 87
Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications 86
Model reduction of continuous–time stochastic linear control systems via bisimulation equivalence 86
Approximate supervisory control of nonlinear systems with outputs 86
Approximations of Maximal Controlled Safe Sets for Hybrid Systems 85
Networked Embedded Control Systems: from Modelling to Implementation, 85
Equivalence entre stabilité et sécurite pour les systèmes à commutation 83
Totale 10.513
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.797
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 46.797
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021189 0 0 0 0 0 0 0 0 0 0 174 15
2021/2022479 18 32 57 23 7 2 13 40 31 25 43 188
2022/20231.776 131 94 25 164 175 178 0 120 808 14 37 30
2023/2024511 73 27 14 47 39 182 1 43 1 13 19 52
2024/20252.234 141 68 186 69 271 203 291 235 400 92 159 119
2025/20263.864 180 437 346 403 307 293 658 109 433 440 258 0
Totale 11.661