Complex Systems Design & Management Asia (eBook)

Foreword 5
Preface 8
Conference Organization 12
Contents 16
Part IInvited and Regular Papers 23
Model Checking of Energy Consumption Behavior 24
1 Introduction 24
2 Model-Based Analysis 25
2.1 Energy Consumption Behavior 25
2.2 Energy Consumption Properties 27
3 Behavioral Model 28
3.1 Power Consumption Automaton 28
3.2 Operational Semantics 29
4 Property Specification 30
4.1 Syntax 30
4.2 Semantics 31
5 Model Checking 31
6 Related Work 32
7 Conclusion 33
References 34
UNISENSE: A Unified and Sustainable Sensing and Transport Architecture for Large Scale and Heterogeneous Sensor Networks 36
1 Introduction 36
1.1 Background 36
1.2 Motivation 36
1.3 Contributions 37
1.4 Organization of the Paper 38
2 The UNISENSE Architecture 38
2.1 Overview 38
2.2 Application Profiling 39
2.3 Node Architecture 39
2.4 Intelligent Network Design 40
2.5 Network Management and Visualization 41
2.6 Deep Sensing 41
2.7 Generalized Participatory Sensing 41
2.8 Security, Privacy, and Trust 42
3 Case Studies 42
3.1 Urban Noise Monitoring 42
3.2 Public Infrastructure Monitoring (Smart Bins) 43
3.3 Event Management (CuteBit) 44
3.4 Vertical Farming Monitoring 44
3.5 Practical Issues and Lessons Learnt 45
4 Related Work and Competitive Advantages 45
5 Conclusion and OngoingWork 46
References 47
Black-Box Optimization of Lighting Simulation in Architectural Design 48
1 Introduction 48
2 Application to Architectural Design 50
3 The Radial Basis Function Method 53
3.1 Selection of the Initial Points 54
3.2 Selection of the Next Evaluation Point 55
3.3 Extensions 56
3.4 Open-Source Implementation 58
References 59
Aligning Cyber-Physical System Safety and Security 61
1 Introduction 62
2 Related Work 63
2.1 CPS Safety 63
2.2 CPS Security 65
2.3 Safety and Security Integration 67
3 Integrated CPS Safety and Security Lifecycle Process 68
4 CPS Safety and Security Alignment Using Failure Attack-Countermeasure Graph 69
5 FACT Graph Example 70
6 Conclusions 72
References 72
Singapore Road Vehicle Fleet Evolution 74
1 Introduction 74
2 Model Structu ure and Data Source 75
3 Building ks Block of Fleet Model 76
3.1 New Registratio on of Motor Vehicles 76
3.2 Survival Rate a and Lifetime Distribution 76
3.3 Vehicle Kilome eters Travelled (VKT) 82
3.4 Vehicle Fuel U Use 82
3.5 Greenhouse as Ga (GHG) Emissions 84
4 Model Finding gs 85
5 Future Work 89
6 Conclusions 89
References 89
Design and Management of Flexible On-Shore LNG Production Engineering Systems 91
1 Introduction 91
2 Background and Motivation 92
2.1 Flexibility in Engineering Design 92
2.2 Simulation Based Flexibility Analysis 93
2.3 LNG Production System Design 93
3 Scope and Pro blem Definition 94
4 Methodology 95
4.1 Step 1: Deterministic Analysis 95
4.2 Step 2: Uncertainty Analysis 95
4.3 Step 3: Flexibility Analysis 96
4.4 Step 4: Sensitivity Analysis 96
5 Application and Discussion 97
5.1 Modeling Assumptions 97
5.2 Step 1: Deterministic Analysis 97
5.3 Step 2: Uncertainty Analysis 98
5.4 Step 3: Flexibility Analysis 98
5.5 Step 4: Sensitivity Analysis 100
6 Conclusion 101
References 102
Optimising Complex Networked Systems Availability 104
1 Introduction 104
2 System Level Availability 105
3 Networked System Availabity 107
3.1 Analysing Networked System Availability 107
4 Extending Network Ao Computation 109
4.1 Mission Ao / Probability of Mission Ao 109
4.2 Matrix of System-to-System Ao 109
5 Introducing ODIN 110
5.1 ODIN Methodologies 110
5.2 ODIN Tool Architecture 112
6 Implementation and Case Studies 112
6.1 Case Study 1: Networked System Architecture Evaluation 112
6.2 Case Study 2: Networked System Resource Optimisation 113
7 Potential Applications 114
8 Conclusion 115
References 115
Engineering Singapore’s Land Transport System 116
1 Formulation of Goals 116
2 Mission 116
3 Vision 117
4 Goals 117
5 Boundaries, Complexities and Integration 118
6 System Complexity: Integration of Land Use, Town and Transport Planning 118
7 Dynamic Complexity: Integration over Time 119
8 Behavioural Complexity 120
9 Behaviour Complexity: Integration across Organizations 120
10 Sustainable Development 121
11 Increasing Capacity through Use of Technologies 122
12 Vehicle Growth 123
13 Public Transport System 123
14 Choice of Public Transport Services 123
15 Customer Oriented Services 124
16 Integration of Public Transport Services 124
17 Ensure Physical Accessibility for All 125
18 Affordable Public Transport for Lower-Income Singaporeans 125
19 Facilitate Cycling 125
20 Conclusions 126
References 126
Domain-Spanning Change Propagation in Changing Technical Systems 127
1 Introduction 127
2 Theoretical Background 128
3 Approach for D Domain-Spanning Change Propagation 129
3.1 Step 1: Causes f for Change 129
3.2 Step 2: Direct L Link to Product Architecture 130
3.3 Step 3: Domain n-Spanning Impact Analysis 130
3.4 Step 4: Analysis of Change Effects in Product Architecture 132
4 Case Study for r the Domain-Spanning Change Analysis 133
4.1 Background f of the Case Study 133
4.2 Step 1: Causes for Change 134
4.3 Step 2: Direct Link to Product Architecture 134
4.4 Step 3: Domain-Spanning Impact Analysis and Step 4: Analysis of Change Effects in Product Architecture 134
5 Discussion 137
6 Conclusion 137
7 Outlook 138
References 138
Policy Design, Planning, and Management in Global Systems Science 140
1 Motivation 140
2 Design and the Science of Multilevel Social Systems 141
3 Design, Planning and Management 144
4 Global System Science 145
5 Policy Design, Planning, and Management in Global Systems Science 146
6 Conclusions 147
References 147
Thinking about the Future of Complex Technological Systems: Which Technologies Should Shape Their Designs? 148
1 Introduction 148
2 Technologies Experiencing Rapid Improvements 149
3 Implications for Transportation Systems 150
4 Discussion 152
References 155
Author Index 156