IRIS
POLA, GIORDANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.887
EU - Europa 1.636
AS - Asia 830
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 4
SA - Sud America 3
AF - Africa 1
AN - Antartide 1
Totale 5.369
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.877
IE - Irlanda 658
CN - Cina 467
TR - Turchia 305
DE - Germania 226
UA - Ucraina 182
GB - Regno Unito 162
IT - Italia 134
SE - Svezia 116
FI - Finlandia 80
FR - Francia 42
SG - Singapore 23
BE - Belgio 18
IN - India 13
CA - Canada 8
RU - Federazione Russa 7
AU - Australia 6
HK - Hong Kong 5
BR - Brasile 3
CZ - Repubblica Ceca 3
EU - Europa 3
IR - Iran 3
JP - Giappone 3
NL - Olanda 3
TW - Taiwan 3
KR - Corea 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BG - Bulgaria 1
DK - Danimarca 1
DM - Dominica 1
EE - Estonia 1
GS - Georgia del Sud e Isole Sandwich Australi 1
ID - Indonesia 1
IL - Israele 1
IQ - Iraq 1
IS - Islanda 1
LU - Lussemburgo 1
MX - Messico 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
SA - Arabia Saudita 1
ZA - Sudafrica 1
Totale 5.369
Salva come PNG Salva come JPEG
Città #
Jacksonville 742
Dublin 658
Chandler 621
Nanjing 146
Izmir 144
Boardman 108
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
Jinan 19
Brussels 18
Hangzhou 18
Kunming 18
Jiaxing 17
L'aquila 14
Singapore 14
Des Moines 13
Ningbo 13
Zhengzhou 12
Dearborn 11
Guangzhou 10
Pune 10
Shanghai 10
Houston 9
Norwalk 8
Taizhou 7
Lappeenranta 6
Central District 5
Lanzhou 5
San Francisco 5
Auburn Hills 4
Cambridge 4
Düsseldorf 4
Frankfurt am Main 4
Fremont 4
Redwood City 4
Toronto 4
Aquila 3
Bremen 3
Denver 3
Haikou 3
Olomouc 3
Sambuceto 3
Tappahannock 3
Vasto 3
Canberra 2
Changchun 2
Citta Sant'angelo 2
Clifton 2
Edinburgh 2
Frontone 2
L’Aquila 2
Melbourne 2
Passau 2
Pescara 2
Rome 2
Venafro 2
Venezia 2
Almere Stad 1
Amsterdam 1
Bengaluru 1
Castelraimondo 1
Cedar Knolls 1
Chicago 1
Chieti 1
Christchurch 1
Civitanova Marche 1
Copenhagen 1
Dallas 1
Fairfield 1
Forest City 1
Fort Huachuca 1
Fort Myers 1
Fuzhou 1
Hefei 1
Helsinki 1
Hyderabad 1
Islamabad 1
Johannesburg 1
Kitzingen 1
Laas 1
Manchester 1
Munich 1
Totale 3.750
Salva come PNG Salva come JPEG
Nome #
Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems 89
Integrated design of symbolic controllers for nonlinear systems 80
Symbolic Models for Time–Varying Time–Delay Systems via Alternating Approximate Bisimulation 78
Approximately bisimilar symbolic models for incrementally stable switched systems 76
Approximate Diagnosis of Metric Systems 75
Decentralized symbolic control of interconnected systems with application to vehicle platooning 74
A complexity reduction approach to detectability of switching systems 71
Design of decentralized critical observers for networks of finite state machines: A formal method approach 71
Symbolic models for nonlinear control systems using approximate bisimulation 71
An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications 70
Symbolic Models for Nonlinear Time-Delay Systems Using Approximate Bisimulations 69
Approximately bisimilar symbolic models for incrementally stable switched systems 69
On approximate diagnosability of metric systems 68
Inner approximations of domains of attraction for constrained continuous time linear systems 68
On Lyapunov-Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Uncertain Time-Varying Time-Delays 67
Symbolic models for nonlinear control systems without stability assumptions 66
Digital idle speed control of automotive engines: A safety problem for hybrid systems 64
A symbolic approach to the design of nonlinear networked control systems 63
Towards a Unified Theory for the Control of CPS: A Symbolic Approach 63
Balancing dwell times for switchimg linear systems 62
Symbolic models for nonlinear control systems affected by disturbances 62
Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems’ Approach 62
On Equivalence Notions for Discrete–Time Stochastic Control Systems 61
Symbolic Models for Networks of Control Systems 61
Preface 61
Stochastic Hybrid Models: An Overview 60
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach 59
Observability of Internal Variables in Interconnected Switching Systems 59
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems affected by Disturbances 59
null 59
Can linear stabilizability analysis be generalized to switching systems? 58
A hybrid controller for purity control of a pressure swing adsorption process 58
Maximal Safe Set Computation for Pressure Swing Adsorption Processes 58
Approximate supervisory control of nonlinear systems with outputs 58
Controlled safe sets for continuous-time linear systems 57
Stabilizability of linear switching systems 56
Structural discrete state space decompositions for a class of hybrid systems 56
A COMPLEXITY REDUCTION APPROACH TO THE DETECTION OF SAFETY CRITICAL SITUATIONS IN AIR TRAFFIC MANAGEMENT SYSTEMS 56
Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays 56
Approximately bisimilar symbolic models for nonlinear control systems 56
The Concept of Deadlock and Livelock in Hybrid Control Systems 56
On achievable behavior of stochastic descriptor systems 56
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems 56
Achievable bisimilar behaviour of abstract state systems 55
Design of Symbolic Controllers for Networked Control Systems 55
Equivalence of switching linear systems by bisimulation 54
A Compositional Approach to Bisimulation of Arenas of Finite State Machines 54
Symbolic models for nonlinear control systems affected by disturbances 54
A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems 54
On Symbolic Control Design of Discrete–Time Nonlinear Systems with State Quantized Measurements 54
A structural approach to detectability for a class of hybrid systems 54
Approximations of Maximal Controlled Safe Sets for Hybrid Systems 53
A Theoretical Framework for Control Over Wireless Networks 53
On external behavior equivalence of continuous–time stochastic linear control systems 53
Symbolic control design of nonlinear systems with outputs 53
On observability and detectability of continuous-time linear switching systems 52
A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems 52
Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach 52
Safety and stabilizability conditions for switching linear systems 52
Observability of discrete-time Linear Switching Systems 52
Bisimulation Theory for Switching Linear Systems 52
On the utilization of Macroscopic Information for String Stability of a Vehicular Platoon 52
Observability of linear switched systems 51
Design of a Hybrid Controller for Pressure Swing Adsorption Processes 51
Detectability based state space reductions for hybrid systems 50
A stochastic reachability approach to portfolio construction in finance industry 50
On approximate predictability of metric systems⁎ 49
Stabilizability of affine switching systems: A Kalman-like approach 48
Critical Observability of Networks of Finite State Machines 48
Positive switching systems 48
Symbolic models for linear control systems with disturbances 48
A symbolic model approach to the digital control of nonlinear time-delay systems 48
Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation 47
Symbolic Control Design of an Artificial Pancreas for Type-2 Diabetes 47
Networked Embedded Control Systems: from Modelling to Implementation, 46
Critical observability of a class of hybrid systems and application to air traffic management 46
Engine idle speed control via maximal safe set computation in the crank-angle domain 45
Equivalence entre stabilité et sécurite pour les systèmes à commutation 45
Sequences of Discrete Abstractions for Piecewise Affine Systems 45
Symbolic models for nonlinear control systems: Alternating approximate bisimulations 44
Digital control of continuous-time switching systems with safety constraints 43
Stabilizability based state space reductions for hybrid systems 43
Symbolic models approximating possibly unstable time–delay systems with application to the artificial pancreas 43
Invariance in Stochastic Dynamical Control Systems 42
Approximate predictability of Pseudo-Metric Systems 42
String Stability of a Vehicular Platoon With the Use of Macroscopic Information 42
Switched and piecewise affine systems 41
Optimal Dynamic Asset Allocation: A Stochastic Invariance Approach 41
On data–driven controller synthesis with regular language specifications 41
Symbolic models for unstable nonlinear control systems 40
Output Feedback Control via Bisimulation of Stochastic Linear Systems 40
On Lyapunov–Krasovskii Characterizations of Stability Notions for Discrete-Time Systems with Unknown Time-Varying Time-Delays 39
Time-optimal symbolic control of a changeover process based on an approximately bisimilar symbolic model 39
Symbolic Models for Networks of Discrete–Time Nonlinear Control Systems 38
Model reduction of continuous–time stochastic linear control systems via bisimulation equivalence 38
Control of Cyber-Physical-Systems with logic specifications: A formal methods approach 38
On symbolic control design of nonlinear systems with dynamic regular language specifications 38
Output Feedback Reachability of Controlled–Observable States for Nondeterministic Finite–State Systems 38
A Microscopic Human-Inspired Adaptive Cruise Control for Eco-Driving 37
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications 34
Totale 5.417
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.595
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 21.595
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020744 183 14 94 7 4 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/202520 20 0 0 0 0 0 0 0 0 0 0 0
Totale 5.610