IRIS
POLA, GIORDANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.259
EU - Europa 1.699
AS - Asia 1.221
SA - Sud America 49
OC - Oceania 7
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 6.244
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.246
IE - Irlanda 658
CN - Cina 485
SG - Singapore 384
TR - Turchia 305
DE - Germania 242
UA - Ucraina 183
GB - Regno Unito 164
IT - Italia 159
SE - Svezia 116
FI - Finlandia 95
BR - Brasile 42
FR - Francia 42
BE - Belgio 19
IN - India 15
CA - Canada 10
RU - Federazione Russa 7
AU - Australia 6
HK - Hong Kong 5
NL - Olanda 5
EC - Ecuador 4
CZ - Repubblica Ceca 3
EU - Europa 3
IQ - Iraq 3
IR - Iran 3
JP - Giappone 3
PK - Pakistan 3
TW - Taiwan 3
KR - Corea 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BG - Bulgaria 1
DK - Danimarca 1
DM - Dominica 1
EE - Estonia 1
EG - Egitto 1
GR - Grecia 1
GS - Georgia del Sud e Isole Sandwich Australi 1
ID - Indonesia 1
IL - Israele 1
IS - Islanda 1
JO - Giordania 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
SA - Arabia Saudita 1
TG - Togo 1
VN - Vietnam 1
ZA - Sudafrica 1
Totale 6.244
Salva come PNG Salva come JPEG
Città #
Jacksonville 742
Dublin 658
Chandler 621
Singapore 286
Santa Clara 232
Boardman 220
Nanjing 146
Izmir 144
New York 107
San Mateo 103
Lawrence 102
Princeton 102
Wilmington 88
Ashburn 70
Ann Arbor 67
Shenyang 45
Nanchang 38
Woodbridge 34
Milan 32
Verona 28
Mountain View 24
Tianjin 23
Los Angeles 22
Hebei 21
Seattle 21
Berlin 20
Changsha 20
Beijing 19
Brussels 19
Jinan 19
Hangzhou 18
Kunming 18
Jiaxing 17
Helsinki 16
Munich 15
L'aquila 14
Des Moines 13
Ningbo 13
Shanghai 13
Zhengzhou 12
Dearborn 11
Guangzhou 11
Dallas 10
Pune 10
Houston 9
Norwalk 8
Taizhou 7
Frankfurt am Main 6
Lappeenranta 6
L’Aquila 6
Central District 5
Lanzhou 5
Pavia 5
San Francisco 5
Auburn Hills 4
Cambridge 4
Düsseldorf 4
Fremont 4
Quito 4
Redwood City 4
Toronto 4
Aquila 3
Brasília 3
Bremen 3
Denver 3
Haikou 3
Olomouc 3
Sambuceto 3
Tappahannock 3
Vasto 3
Amsterdam 2
Bari 2
Canberra 2
Changchun 2
Citta Sant'angelo 2
Clifton 2
Dalian 2
Edinburgh 2
Frontone 2
Goiânia 2
Huntington 2
Melbourne 2
Mumbai 2
North Bergen 2
Osasco 2
Ottawa 2
Parma 2
Passau 2
Pescara 2
Raiano 2
Rome 2
Senigallia 2
Shenzhen 2
São Paulo 2
Venafro 2
Venezia 2
Almere Stad 1
Amman 1
Apiaí 1
Apodi 1
Totale 4.437
Salva come PNG Salva come JPEG
Nome #
Symbolic models for nonlinear control systems using approximate bisimulation 103
Symbolic models for nonlinear control systems affected by disturbances 96
Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems 96
Integrated design of symbolic controllers for nonlinear systems 87
Approximately bisimilar symbolic models for nonlinear control systems 86
Symbolic Models for Time–Varying Time–Delay Systems via Alternating Approximate Bisimulation 85
Approximately bisimilar symbolic models for incrementally stable switched systems 82
Approximate Diagnosis of Metric Systems 81
Decentralized symbolic control of interconnected systems with application to vehicle platooning 81
A complexity reduction approach to detectability of switching systems 78
Design of decentralized critical observers for networks of finite state machines: A formal method approach 78
Digital idle speed control of automotive engines: A safety problem for hybrid systems 77
An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications 77
Symbolic Models for Nonlinear Time-Delay Systems Using Approximate Bisimulations 76
Approximately bisimilar symbolic models for incrementally stable switched systems 76
On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Uncertain Time-Varying Time-Delays 75
On approximate diagnosability of metric systems 75
Inner approximations of domains of attraction for constrained continuous time linear systems 74
Symbolic models for nonlinear control systems without stability assumptions 71
Balancing dwell times for switchimg linear systems 69
Towards a Unified Theory for the Control of CPS: A Symbolic Approach 69
Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems’ Approach 69
A symbolic approach to the design of nonlinear networked control systems 68
On Equivalence Notions for Discrete–Time Stochastic Control Systems 68
Stochastic Hybrid Models: An Overview 67
Symbolic Models for Networks of Control Systems 67
Output Feedback Reachability of Controlled–Observable States for Nondeterministic Finite–State Systems 67
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach 66
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems affected by Disturbances 66
Preface 66
A hybrid controller for purity control of a pressure swing adsorption process 64
Approximate supervisory control of nonlinear systems with outputs 64
A Theoretical Framework for Control Over Wireless Networks 63
Observability of Internal Variables in Interconnected Switching Systems 63
Can linear stabilizability analysis be generalized to switching systems? 63
Maximal Safe Set Computation for Pressure Swing Adsorption Processes 63
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays 62
Controlled safe sets for continuous-time linear systems 62
Stabilizability of linear switching systems 61
Structural discrete state space decompositions for a class of hybrid systems 61
Symbolic models for nonlinear control systems affected by disturbances 61
The Concept of Deadlock and Livelock in Hybrid Control Systems 61
On achievable behavior of stochastic descriptor systems 61
Design of Symbolic Controllers for Networked Control Systems 61
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems 61
Approximations of Maximal Controlled Safe Sets for Hybrid Systems 60
A COMPLEXITY REDUCTION APPROACH TO THE DETECTION OF SAFETY CRITICAL SITUATIONS IN AIR TRAFFIC MANAGEMENT SYSTEMS 60
A Compositional Approach to Bisimulation of Arenas of Finite State Machines 60
On Symbolic Control Design of Discrete–Time Nonlinear Systems with State Quantized Measurements 60
On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon 60
Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes 60
Equivalence of switching linear systems by bisimulation 59
Achievable bisimilar behaviour of abstract state systems 59
A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems 59
A structural approach to detectability for a class of hybrid systems 59
null 59
Symbolic control design of nonlinear systems with outputs 59
On observability and detectability of continuous-time linear switching systems 58
A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems 58
Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach 58
Safety and stabilizability conditions for switching linear systems 58
On external behavior equivalence of continuous–time stochastic linear control systems 58
Bisimulation Theory for Switching Linear Systems 57
On approximate predictability of metric systems⁎ 57
Design of a Hybrid Controller for Pressure Swing Adsorption Processes 57
Observability of linear switched systems 56
A stochastic reachability approach to portfolio construction in finance industry 56
Observability of discrete-time Linear Switching Systems 56
Critical Observability of Networks of Finite State Machines 55
Detectability based state space reductions for hybrid systems 55
Symbolic models for linear control systems with disturbances 54
Stabilizability of affine switching systems: A Kalman-like approach 53
Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation 53
Positive switching systems 53
Critical observability of a class of hybrid systems and application to air traffic management 53
A symbolic model approach to the digital control of nonlinear time-delay systems 52
String Stability of a Vehicular Platoon With the Use of Macroscopic Information 52
Networked Embedded Control Systems: from Modelling to Implementation, 51
Approximate predictability of Pseudo-Metric Systems 51
Engine idle speed control via maximal safe set computation in the crank-angle domain 50
Equivalence entre stabilité et sécurite pour les systèmes à commutation 50
Symbolic models for nonlinear control systems: Alternating approximate bisimulations 50
Sequences of Discrete Abstractions for Piecewise Affine Systems 49
Symbolic models approximating possibly unstable time–delay systems with application to the artificial pancreas 49
Digital control of continuous-time switching systems with safety constraints 48
Stabilizability based state space reductions for hybrid systems 48
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications 48
Invariance in Stochastic Dynamical Control Systems 47
On data–driven controller synthesis with regular language specifications 47
Scalable Mesh Stability of Nonlinear Interconnected Systems 47
Switched and piecewise affine systems 46
Symbolic models for unstable nonlinear control systems 46
Optimal Dynamic Asset Allocation: A Stochastic Invariance Approach 46
Output Feedback Control via Bisimulation of Stochastic Linear Systems 46
A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving 46
Time-optimal symbolic control of a changeover process based on an approximately bisimilar symbolic model 45
On Lyapunov–Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Unknown Time-Varying Time-Delays 44
On symbolic control design of nonlinear systems with dynamic regular language specifications 44
Symbolic Models for Networks of Discrete–Time Nonlinear Control Systems 43
Model reduction of continuous–time stochastic linear control systems via bisimulation equivalence 43
Totale 6.134
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.477
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 27.477
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020442 0 0 0 0 0 99 135 5 98 10 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/2025896 141 68 188 71 272 156 0 0 0 0 0 0
Totale 6.486