IRIS
POLA, GIORDANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.326
EU - Europa 2.064
AS - Asia 1.654
SA - Sud America 234
AF - Africa 13
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 7.303
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.301
IE - Irlanda 658
SG - Singapore 576
CN - Cina 509
TR - Turchia 310
RU - Federazione Russa 274
DE - Germania 252
IT - Italia 222
BR - Brasile 216
UA - Ucraina 190
HK - Hong Kong 188
GB - Regno Unito 165
SE - Svezia 116
FI - Finlandia 101
FR - Francia 42
BE - Belgio 19
CA - Canada 18
IN - India 16
IQ - Iraq 10
NL - Olanda 7
AU - Australia 6
EC - Ecuador 6
AR - Argentina 5
BD - Bangladesh 5
JP - Giappone 4
MA - Marocco 4
MX - Messico 4
PK - Pakistan 4
ZA - Sudafrica 4
AT - Austria 3
AZ - Azerbaigian 3
CZ - Repubblica Ceca 3
EU - Europa 3
IR - Iran 3
JO - Giordania 3
TW - Taiwan 3
AL - Albania 2
KR - Corea 2
KZ - Kazakistan 2
LT - Lituania 2
LU - Lussemburgo 2
OM - Oman 2
PE - Perù 2
PY - Paraguay 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BG - Bulgaria 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
DM - Dominica 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
GR - Grecia 1
GS - Georgia del Sud e Isole Sandwich Australi 1
GT - Guatemala 1
ID - Indonesia 1
IL - Israele 1
IS - Islanda 1
KE - Kenya 1
KG - Kirghizistan 1
LB - Libano 1
LK - Sri Lanka 1
MM - Myanmar 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PA - Panama 1
PH - Filippine 1
PS - Palestinian Territory 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TG - Togo 1
VE - Venezuela 1
VN - Vietnam 1
Totale 7.303
Salva come PNG Salva come JPEG
Città #
Jacksonville 742
Dublin 658
Chandler 621
Singapore 321
Santa Clara 232
Boardman 220
Hong Kong 183
Nanjing 147
Izmir 144
New York 107
San Mateo 103
Lawrence 102
Princeton 102
Wilmington 88
Ashburn 71
Ann Arbor 67
Moscow 62
Shenyang 45
Milan 40
Nanchang 38
The Dalles 35
Woodbridge 34
Rome 28
Verona 28
Mountain View 24
Los Angeles 23
Tianjin 23
Helsinki 22
Hebei 21
Seattle 21
Berlin 20
Changsha 20
Beijing 19
Brussels 19
Jinan 19
Kunming 19
Hangzhou 18
Jiaxing 17
Munich 15
L'aquila 14
L’Aquila 14
Shanghai 14
Des Moines 13
Ningbo 13
São Paulo 13
Guangzhou 12
Zhengzhou 12
Dearborn 11
Pune 11
Dallas 10
Houston 9
Norwalk 8
Ottawa 8
Belo Horizonte 7
Council Bluffs 7
Frankfurt am Main 7
Pescara 7
Taizhou 7
Brasília 6
Lappeenranta 6
Quito 6
Toronto 6
Central District 5
Giulianova 5
Lanzhou 5
Pavia 5
San Francisco 5
Amsterdam 4
Auburn Hills 4
Baghdad 4
Cambridge 4
Düsseldorf 4
Falkenstein 4
Fremont 4
Naples 4
Redwood City 4
Rio de Janeiro 4
Salvador 4
Amman 3
Aquila 3
Baku 3
Bari 3
Bremen 3
Curitiba 3
Denver 3
Haikou 3
Mogi Guaçu 3
Nuremberg 3
Olomouc 3
Porto Alegre 3
Sambuceto 3
Sorocaba 3
São José dos Campos 3
Tappahannock 3
Turin 3
Vasto 3
Almaty 2
Aparecida de Goiânia 2
Araçatuba 2
Assago 2
Totale 4.870
Salva come PNG Salva come JPEG
Nome #
Symbolic models for nonlinear control systems using approximate bisimulation 115
Symbolic models for nonlinear control systems affected by disturbances 108
Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems 103
Approximately bisimilar symbolic models for nonlinear control systems 99
Approximately bisimilar symbolic models for incrementally stable switched systems 97
Integrated design of symbolic controllers for nonlinear systems 95
Symbolic Models for Time–Varying Time–Delay Systems via Alternating Approximate Bisimulation 91
Decentralized symbolic control of interconnected systems with application to vehicle platooning 87
Symbolic Models for Nonlinear Time-Delay Systems Using Approximate Bisimulations 86
On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Uncertain Time-Varying Time-Delays 86
Inner approximations of domains of attraction for constrained continuous time linear systems 86
An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications 85
A complexity reduction approach to detectability of switching systems 84
On approximate diagnosability of metric systems 84
Approximately bisimilar symbolic models for incrementally stable switched systems 83
Design of decentralized critical observers for networks of finite state machines: A formal method approach 83
Digital idle speed control of automotive engines: A safety problem for hybrid systems 83
Approximate Diagnosis of Metric Systems 83
Symbolic models for nonlinear control systems without stability assumptions 80
Towards a Unified Theory for the Control of CPS: A Symbolic Approach 80
String Stability of a Vehicular Platoon With the Use of Macroscopic Information 79
Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems’ Approach 78
Output Feedback Reachability of Controlled–Observable States for Nondeterministic Finite–State Systems 78
On approximate predictability of metric systems⁎ 77
On Equivalence Notions for Discrete–Time Stochastic Control Systems 76
Balancing dwell times for switchimg linear systems 75
A symbolic approach to the design of nonlinear networked control systems 75
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems 75
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach 73
The Concept of Deadlock and Livelock in Hybrid Control Systems 73
A hybrid controller for purity control of a pressure swing adsorption process 73
Stabilizability of linear switching systems 72
A Compositional Approach to Bisimulation of Arenas of Finite State Machines 72
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems affected by Disturbances 72
Symbolic Models for Networks of Control Systems 72
Preface 72
On achievable behavior of stochastic descriptor systems 72
Stochastic Hybrid Models: An Overview 71
On Symbolic Control Design of Discrete–Time Nonlinear Systems with State Quantized Measurements 71
Approximate predictability of Pseudo-Metric Systems 71
Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes 71
Controlled safe sets for continuous-time linear systems 70
Can linear stabilizability analysis be generalized to switching systems? 70
Maximal Safe Set Computation for Pressure Swing Adsorption Processes 70
On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon 70
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays 69
Observability of discrete-time Linear Switching Systems 69
On external behavior equivalence of continuous–time stochastic linear control systems 69
Approximate supervisory control of nonlinear systems with outputs 69
A Condition and Fault Prevention Monitoring System for Industrial Computer Numerical Control Machinery 68
Approximations of Maximal Controlled Safe Sets for Hybrid Systems 68
A Theoretical Framework for Control Over Wireless Networks 68
Observability of Internal Variables in Interconnected Switching Systems 68
A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems 68
Symbolic models for nonlinear control systems affected by disturbances 68
Design of Symbolic Controllers for Networked Control Systems 67
A COMPLEXITY REDUCTION APPROACH TO THE DETECTION OF SAFETY CRITICAL SITUATIONS IN AIR TRAFFIC MANAGEMENT SYSTEMS 66
Achievable bisimilar behaviour of abstract state systems 66
Structural discrete state space decompositions for a class of hybrid systems 65
On observability and detectability of continuous-time linear switching systems 65
Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach 65
Safety and stabilizability conditions for switching linear systems 65
A stochastic reachability approach to portfolio construction in finance industry 65
Symbolic models for nonlinear control systems: Alternating approximate bisimulations 65
Critical Observability of Networks of Finite State Machines 64
A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems 64
Symbolic control design of nonlinear systems with outputs 64
Equivalence of switching linear systems by bisimulation 63
A structural approach to detectability for a class of hybrid systems 63
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications 63
Observability of linear switched systems 62
Networked Embedded Control Systems: from Modelling to Implementation, 62
Symbolic models for unstable nonlinear control systems 62
Bisimulation Theory for Switching Linear Systems 62
Detectability based state space reductions for hybrid systems 61
Symbolic models approximating possibly unstable time–delay systems with application to the artificial pancreas 61
A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving 61
Design of a Hybrid Controller for Pressure Swing Adsorption Processes 61
Digital control of continuous-time switching systems with safety constraints 60
Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation 60
Symbolic models for linear control systems with disturbances 60
A Mesoscopic Human-Inspired Adaptive Cruise Control for Eco-Driving 59
null 59
Critical observability of a class of hybrid systems and application to air traffic management 59
Scalable Mesh Stability of Nonlinear Interconnected Systems 59
Stabilizability of affine switching systems: A Kalman-like approach 58
Positive switching systems 58
A symbolic model approach to the digital control of nonlinear time-delay systems 58
Data-driven controller synthesis for abstract systems with regular language specifications 58
Sequences of Discrete Abstractions for Piecewise Affine Systems 57
Invariance in Stochastic Dynamical Control Systems 57
Equivalence entre stabilité et sécurite pour les systèmes à commutation 56
Optimal Dynamic Asset Allocation: A Stochastic Invariance Approach 56
Stabilizability based state space reductions for hybrid systems 55
Engine idle speed control via maximal safe set computation in the crank-angle domain 53
Switched and piecewise affine systems 53
On Lyapunov–Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Unknown Time-Varying Time-Delays 53
On data–driven controller synthesis with regular language specifications 53
Symbolic Models for Networks of Discrete–Time Nonlinear Control Systems 51
Model reduction of continuous–time stochastic linear control systems via bisimulation equivalence 51
Totale 7.015
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.552
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 33.552
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202095 0 0 0 0 0 0 0 0 0 0 3 92
2020/2021714 5 91 0 96 93 15 103 0 105 17 174 15
2021/2022480 18 32 57 23 7 2 13 40 31 25 43 189
2022/20231.800 133 94 25 166 177 179 0 121 822 15 37 31
2023/2024513 73 27 14 47 39 184 1 43 1 13 19 52
2024/20251.977 141 68 188 71 272 204 293 236 403 92 9 0
Totale 7.567