| Preface | 6 |
|---|
| Why This Book? | 6 |
| Where Did Hetero-functional Graph Theory Come from? | 8 |
| The Goal of This Book | 9 |
| What Is in This Book? | 9 |
| Contents | 11 |
|---|
| List of Figures | 14 |
|---|
| List of Tables | 21 |
|---|
| Nomenclature | 22 |
|---|
| 1 Introduction | 26 |
|---|
| 1.1 Book Contribution | 28 |
| 1.2 Book Outline | 30 |
| References | 30 |
| 2 The Need for Hetero-functional Graph Theory | 38 |
|---|
| References | 42 |
| 3 Hetero-functional Graph Theory Preliminaries | 47 |
|---|
| 3.1 Ontological Foundation for Hetero-functional Graph Theory | 47 |
| 3.2 Systems Engineering Foundations | 51 |
| References | 58 |
| 4 Hetero-functional Graph Theory | 60 |
|---|
| 4.1 System Concept | 61 |
| 4.1.1 System Form | 63 |
| 4.1.2 System Function | 66 |
| 4.1.3 Allocation of System Function onto System Form | 71 |
| 4.2 Hetero-functional Adjacency Matrix | 78 |
| 4.3 Controller Agency Matrix | 83 |
| 4.4 Controller Adjacency Matrix | 87 |
| 4.5 Service as Operand Behavior | 91 |
| 4.5.1 Service Delivery as Service Net | 93 |
| 4.5.2 Service Delivery as Service Graph | 96 |
| 4.6 Service Feasibility Matrix | 96 |
| 4.6.1 Service Feasibility Matrix Definitions | 97 |
| 4.6.2 Service Degrees of Freedom | 102 |
| 4.7 The System Adjacency Matrix: An Integrated View of Hetero-functional Graph Theory | 105 |
| 4.8 Conclusion | 112 |
| References | 114 |
| 5 Modeling Interdependent Smart City Infrastructure Systems with HFGT | 117 |
|---|
| 5.1 The Role of Test Cases in Smart City Development | 117 |
| 5.2 Smart City Test Case: Trimetrica | 118 |
| 5.3 System Concept | 123 |
| 5.3.1 Smart City Resources | 123 |
| 5.3.2 Smart City Processes | 131 |
| 5.3.3 Smart City Knowledge Base | 136 |
| 5.3.4 Visualizing Degrees of Freedom | 140 |
| 5.4 Hetero-functional Adjacency Matrix | 147 |
| 5.4.1 Calculating System Sequence | 147 |
| 5.4.2 Visualizing System Sequence | 149 |
| 5.5 Controller Agency Matrix | 153 |
| 5.5.1 Expansion of System Resources | 156 |
| 5.5.2 Smart City Controller Agency Matrix | 157 |
| 5.5.3 The Relation Between the Controller Agency Matrix and the Hetero-functional Adjacency Matrix | 157 |
| 5.6 Controller Adjacency Matrix | 158 |
| 5.7 Service as Operand Behavior | 161 |
| 5.7.1 Service Delivery in SysML | 161 |
| 5.7.2 Service Delivery Using Petri Nets | 164 |
| 5.7.3 Service Delivery as Service Graph | 167 |
| 5.8 Service Feasibility Matrix | 168 |
| 5.8.1 Deliver Potable Water | 170 |
| 5.8.2 Deliver Electric Power | 171 |
| 5.8.3 Deliver Electric Vehicle | 172 |
| 5.8.4 Visualizing the Service Feasibility Matrix | 172 |
| 5.9 System Adjacency Matrix | 174 |
| 5.9.1 Trimetrica's System Adjacency Matrix | 174 |
| 5.9.2 Hetero-functional Graph Visualization | 176 |
| 5.10 Discussion | 177 |
| 5.10.1 Ontological Analysis of Hetero-functionalGraph Theory | 178 |
| 5.10.2 Comparison with Multi-layer Networks | 180 |
| References | 182 |
| 6 Applications of Hetero-functional Graph Theory | 184 |
|---|
| 6.1 Mass-Customized Production Systems | 184 |
| 6.2 Multi-Modal Transportation Systems | 186 |
| 6.3 Electric Power Systems | 186 |
| 6.4 Multi-Modal Electrified Transportation Systems | 187 |
| 6.5 Microgrid-Enabled Production Systems | 188 |
| 6.6 Personalized Healthcare Delivery Systems | 188 |
| References | 189 |
| 7 Conclusion and Future Work | 192 |
|---|
| 7.1 Conclusion | 192 |
| 7.2 Future Work | 194 |
| A Representing a Four-Layer Network in Hetero-functional Graph Theory | 195 |
|---|
| A.1 System Concept | 197 |
| A.2 Hetero-functional Adjacency Matrix | 202 |
| A.3 Controller Agency Matrix | 202 |
| A.4 Controller Adjacency Matrix | 202 |
| A.5 Service as Operand Behavior | 204 |
| A.6 Service Feasibility Matrix | 206 |
| A.7 System Adjacency Matrix | 206 |
| List of Definitions | 209 |
| Index | 211 |