Applications of Formal Languages to Management of Manned and Unmanned Aircraft

En el futuro, la gestión del tráfico aéreo (ATM, del inglés air traffic management) requerirá un cambio de paradigma, de la gestión principalmente táctica de hoy, a las denominadas operaciones basadas en trayectoria. Un incremento en el nivel de automatización liberará al personal de ATM —controladores, tripulación, etc.— de muchas de las tareas que realizan hoy. Las personas seguirán siendo el elemento central en la gestión del tráfico aéreo del futuro, pero lo serán mediante la gestión y toma de decisiones. Se espera que estas dos mejoras traigan un incremento en la eficiencia de la gestión del tráfico aéreo que permita hacer frente al incremento previsto en la demanda de transporte aéreo. Para aplicar el concepto de operaciones basadas en trayectoria, el usuario del espacio aéreo (la aerolínea, piloto, u operador) y el proveedor del servicio de navegación aérea deben negociar las trayectorias mediante un proceso de toma de decisiones colaborativo. En esta negociación, es necesaria una forma adecuada de compartir dichas trayectorias. Compartir la trayectoria completa requeriría un gran ancho de banda, y la trayectoria compartida podría invalidarse si cambiase la predicción meteorológica. En su lugar, podría compartirse una descripción de la trayectoria independiente de las condiciones meteorológicas, de manera que la trayectoria real se pudiese calcular a partir de dicha descripción. Esta descripción de la trayectoria debería ser fácil de procesar usando un programa de ordenador —ya que parte del proceso de toma de decisiones estará automatizado—, pero también fácil de entender para un operador humano —que será el que supervise el proceso y tome las decisiones oportunas—. Esta tesis presenta una serie de lenguajes formales que pueden usarse para este propósito. Estos lenguajes proporcionan los medios para describir trayectorias de aviones durante todas las fases de vuelo, desde la maniobra de push-back (remolcado hasta la calle de rodaje), hasta la llegada a la terminal del aeropuerto de destino. También permiten describir trayectorias tanto de aeronaves tripuladas como no tripuladas, incluyendo aviones de ala fija y cuadricópteros. Algunos de estos lenguajes están estrechamente relacionados entre sí, y organizados en una jerarquía. Uno de los lenguajes fundamentales de esta jerarquía, llamado aircraft intent description language (AIDL), ya había sido desarrollado con anterioridad a esta tesis. Este lenguaje fue derivado de las ecuaciones del movimiento de los aviones de ala fija, y puede utilizarse para describir sin ambigüedad trayectorias de este tipo de aeronaves. Una variante de este lenguaje, denominada quadrotor AIDL (QR-AIDL), ha sido desarrollada en esta tesis para permitir describir trayectorias de cuadricópteros con el mismo nivel de detalle. Seguidamente, otro lenguaje, denominado intent composite description language (ICDL), se apoya en los dos lenguajes anteriores, ofreciendo más flexibilidad para describir algunas partes de la trayectoria y dejar otras sin especificar. El ICDL se usa para proporcionar descripciones genéricas de maniobras comunes, que después se particularizan y combinan para formar descripciones complejas de un vuelo. Otro lenguaje puede construirse a partir del ICDL, denominado flight intent description language (FIDL). El FIDL especifica requisitos de alto nivel sobre las trayectorias —incluyendo restricciones y objetivos—, pero puede utilizar características del ICDL para proporcionar niveles de detalle arbitrarios en las distintas partes de un vuelo. Tanto el ICDL como el FIDL han sido desarrollados en colaboración con Boeing Research & Technology Europe (BR&TE). También se ha desarrollado un lenguaje para definir misiones en las que interactúan varias aeronaves, el mission intent description language (MIDL). Este lenguaje se basa en el FIDL y mantiene todo su poder expresivo, a la vez que proporciona nuevas semánticas para describir tareas, restricciones y objetivos relacionados con la misión. En ATM, los movimientos de un avión en la superficie de aeropuerto también tienen que ser monitorizados y gestionados. Otro lenguaje formal ha sido diseñado con este propósito, llamado surface movement description language (SMDL). Este lenguaje no pertenece a la jerarquía de lenguajes descrita en el párrafo anterior, y se basa en las clearances (autorizaciones del controlador) utilizadas durante las operaciones en superficie de aeropuerto. También proporciona medios para expresar incertidumbre y posibilidad de cambios en las distintas partes de la trayectoria. Finalmente, esta tesis explora las aplicaciones de estos lenguajes a la predicción de trayectorias y a la planificación de misiones. El concepto de trajectory language processing engine (TLPE) se usa en ambas aplicaciones. Un TLPE es una función de ATM cuya principal entrada y salida se expresan en cualquiera de los lenguajes incluidos en la jerarquía descrita en esta tesis. El proceso de predicción de trayectorias puede definirse como una combinación de TLPEs, cada uno de los cuales realiza una pequeña sub-tarea. Se le ha dado especial importancia a uno de estos TLPEs, que se encarga de generar el perfil horizontal, vertical y de configuración de la trayectoria. En particular, esta tesis presenta un método novedoso para la generación del perfil vertical. El proceso de planificar una misión también se puede ver como un TLPE donde la entrada se expresa en MIDL y la salida consiste en cierto número de trayectorias —una por cada aeronave disponible— descritas utilizando FIDL. Se ha formulado este problema utilizando programación entera mixta. Además, dado que encontrar caminos óptimos entre distintos puntos es un problema fundamental en la planificación de misiones, también se propone un algoritmo de búsqueda de caminos. Este algoritmo permite calcular rápidamente caminos cuasi-óptimos que esquivan todos los obstáculos en un entorno urbano. Los diferentes lenguajes formales definidos en esta tesis pueden utilizarse como una especificación estándar para la difusión de información entre distintos actores de la gestión del tráfico aéreo. En conjunto, estos lenguajes permiten describir trayectorias con el nivel de detalle necesario en cada aplicación, y se pueden utilizar para aumentar el nivel de automatización explotando esta información utilizando sistemas de soporte a la toma de decisiones. La aplicación de estos lenguajes a algunas funciones básicas de estos sistemas, como la predicción de trayectorias, han sido analizadas. ABSTRACT Future air traffic management (ATM) will require a paradigm shift from today’s mainly tactical ATM to trajectory-based operations (TBOs). An increase in the level of automation will also relieve humans —air traffic control officers (ATCOs), flight crew, etc.— from many of the tasks they perform today. Humans will still be central in this future ATM, as decision-makers and managers. These two improvements (TBOs and increased automation) are expected to provide the increase in ATM performance that will allow coping with the expected increase in air transport demand. Under TBOs, trajectories are negotiated between the airspace user (an airline, pilot, or operator) and the air navigation service provider (ANSP) using a collaborative decision making (CDM) process. A suitable method for sharing aircraft trajectories is necessary for this negotiation. Sharing a whole trajectory would require a high amount of bandwidth, and the shared trajectory might become invalid if the weather forecast changed. Instead, a description of the trajectory, decoupled from the weather conditions, could be shared, so that the actual trajectory could be computed from this trajectory description. This trajectory description should be easy to process using a computing program —as some of the CDM processes will be automated— but also easy to understand for a human operator —who will be supervising the process and making decisions. This thesis presents a series of formal languages that can be used for this purpose. These languages provide the means to describe aircraft trajectories during all phases of flight, from push back to arrival at the gate. They can also describe trajectories of both manned and unmanned aircraft, including fixedwing and some rotary-wing aircraft (quadrotors). Some of these languages are tightly interrelated and organized in a language hierarchy. One of the key languages in this hierarchy, the aircraft intent description language (AIDL), had already been developed prior to this thesis. This language was derived from the equations of motion of fixed-wing aircraft, and can provide an unambiguous description of fixed-wing aircraft trajectories. A variant of this language, the quadrotor AIDL (QR-AIDL), is developed in this thesis to allow describing a quadrotor aircraft trajectory with the same level of detail. Then, the intent composite description language (ICDL) is built on top of these two languages, providing more flexibility to describe some parts of the trajectory while leaving others unspecified. The ICDL is used to provide generic descriptions of common aircraft manoeuvres, which can be particularized and combined to form complex descriptions of flight. Another language is built on top of the ICDL, the flight intent description language (FIDL). The FIDL specifies high-level requirements on trajectories —including constraints and objectives—, but can use features of the ICDL to provide arbitrary levels of detail in different parts of the flight. The ICDL and FIDL have been developed in collaboration with Boeing Research & Technology Europe (BR&TE). Also, the mission intent description language (MIDL) has been developed to allow describing missions involving multiple aircraft. This language is based on the FIDL and keeps all its expressive power, while it also provides new semantics for describing mission tasks, mission objectives, and constraints involving several aircraft. In ATM, the movement of aircraft while on the airport surface also has to be monitored and managed. Another formal language has been designed for this purpose, denoted surface movement description language (SMDL). This language does not belong to the language hierarchy described above, and it is based on the clearances used in airport surface operations. Means to express uncertainty and mutability of different parts of the trajectory are also provided. Finally, the applications of these languages to trajectory prediction and mission planning are explored in this thesis. The concept of trajectory language processing engine (TLPE) is used in these two applications. A TLPE is an ATM function whose main input and output are expressed in any of the languages in the hierarchy described in this thesis. A modular trajectory predictor is defined as a combination of multiple TLPEs, each of them performing a small subtask. Special attention is given to the TLPE that builds the horizontal, vertical, and configuration profiles of the trajectory. In particular, a novel method for the generation of the vertical profile is presented. The process of planning a mission can also be seen as a TLPE, where the main input is expressed in the MIDL and the output consists of a number of trajectory descriptions —one for each aircraft available in the mission— expressed in the FIDL. A mixed integer linear programming (MILP) formulation for the problem of assigning mission tasks to the available aircraft is provided. In addition, since finding optimal paths between locations is a key problem to mission planning, a novel path finding algorithm is presented. This algorithm can compute near-shortest paths avoiding all obstacles in an urban environment in very short times. The several formal languages described in this thesis can serve as a standard specification to share trajectory information among different actors in ATM. In combination, these languages can describe trajectories with the necessary level of detail for any application, and can be used to increase automation by exploiting this information using decision support tools (DSTs). Their applications to some basic functions of DSTs, such as trajectory prediction, have been analized.

A governação de territórios metropolitanos. Contexto institucional e de planeamento nas regiões de Madrid, Barcelona, Paris e Lisboa / The regional metropolitan governance. Institutional mark and planning in Madrid, Barcelona, Paris and Lisbon

Resumo Em resposta aos desafios atuais de muitas grandes cidades, o contexto institucional e o planeamento territorial formam dimensões para melhorar a governação metropolitana. No quadro das regiões capitais do sudoeste europeu, quais poderão ser as inovações e diferenças nos seus modelos e processos em curso? Este artigo propõe uma investigação aplicada para apresentar a análise da governação metropolitana. Através do método de estudos de caso em perspectiva comparada, vários elementos e entrevistas são ponderados qualitativamente nas regiões de Madrid, Barcelona, Paris e Lisboa. As conclusões encontram uma tendência para o equilíbrio entre os esforços dessas duas dimensões da governação territorial metropolitana, não impedindo registrar os seus diferentes percursos: por exemplo Ile-de-France desenvolveu boas iniciativas em matéria de planeamento, que então pedem alguns ajustamentos no quadro político, enquanto Madrid teve “menos actividade” nos últimos anos, em resultado da sua grande estabilidade institucional. A região de Lisboa permanece talvez numa “posição intermédia”, com uma dinâmica de evolução pouco previsível. Mas de acordo com este argumento, admite-se que os seus processos podem levar a melhorias graduais no sistema de governação, com o seu próprio percurso, implementando acções que devem respeitar, em particular, a geografia do território. Abstract Addressing the running challenges of several greater cities, the institutional mark and regional planning are dimensions for improving metropolitan governance. Regarding the southwest European capital regions, what can be the innovations and differences in their currently processes and models? This paper proposes an applied framework to present the metropolitan governance analysis. Through a comparative case study methodology, various elements and interviews are qualitatively measured in the regions of Madrid, Barcelona, Paris and Lisbon. The conclusions find a tendency to balance between the efforts on those two regional metropolitan governance dimensions, which does not prevent to register their different paths: for example Ile-de-France has developed good initiatives in terms of planning, which then require some adjustments in the political mark, while Madrid had in recent years “less activity”, in result of his institutional stability. The Lisbon region maybe stays in an “intermediate position” with a dynamic evolution that is difficult to predict. But according to that argument, it’s possible to admit that his processes can gradually lead to small improvements in his governance system, with his own path, implementing actions that must respect, in particularly, the geography of the territory.

A methodology for evacuation route planning inside buildings using geospatial technology

Evacuation route planning is a fundamental task for building engineering projects. Safety regulations are established so that all occupants are driven on time out of a building to a secure place when faced with an emergency situation. As an example, Spanish building code requires the planning of evacuation routes on large and, usually, public buildings. Engineers often plan these routes on single building projects, repeatedly assigning clusters of rooms to each emergency exit in a trial-and-error process. But problems may arise for a building complex where distribution and use changes make visual analysis cumbersome and sometimes unfeasible. This problem could be solved by using well-known spatial analysis techniques, implemented as a specialized software able to partially emulate engineer reasoning. In this paper we propose and test an easily reproducible methodology that makes use of free and open source software components for solving a case study. We ran a complete test on a building floor at the University of Alicante (Spain). This institution offers a web service (WFS) that allows retrieval of 2D geometries from any building within its campus. We demonstrate how geospatial technologies and computational geometry algorithms can be used for automating the creation and optimization of evacuation routes. In our case study, the engineers’ task is to verify that the load capacity of each emergency exit does not exceed the standards specified by Spain’s current regulations. Using Dijkstra’s algorithm, we obtain the shortest paths from every room to the most appropriate emergency exit. Once these paths are calculated, engineers can run simulations and validate, based on path statistics, different cluster configurations. Techniques and tools applied in this research would be helpful in the design and risk management phases of any complex building project.

Teaching-learning process of historical heritage: a Journey as a beginning, path and end

The implantation of new university degrees within the European Higher Education Area implies the need of innovative methodologies in teaching and learning to improve the skills and competencies of students and to answer the growing needs that society continuously demands to heritage management experts. The present work shows an application of the teaching methodology proposed during the international workshop entitled “I International Planning Preservation Workshop. Learning from Al Andalus”, which included the participation of the University of Alicante and Granada, Università Politecnico di Milano and Hunter College City University of New York; where we tried to dissolve traditional boundaries derived of interuniversity cooperation programs. The main objective of the workshop was to discuss and debate the role of urban Historical Centers within the Global Heritage by the integrated work through multidisciplinary teams and the creation of a permanent international working group between these universities to both teach and research. The methodology of this workshop was very participatory and considered the idea of a new learning process generated by "a journey experience." A trip from global to local (from the big city to the small village) but also a trip from the local (historical) part of a big city to the global dimension of contemporary historical villages identified by the students through a system of exhibition panels in affinity groups, specific projects proposed by lecturers and teachers or the generation of publications in various areas (texts, photographs, videos, etc.). So, the participation of the students in this multidisciplinary meeting has enhanced their capacity for self-criticism in several disciplines and has promoted their ability to perform learning and research strategies in an autonomous way. As a result, it has been established a permanent international work structure for the development of projects of the Historical City. This relationship has generated the publication of several books whose contents have reflected the conclusions developed in the workshop and several teaching proposals shared between those institutions. All these aspects have generated a new way of understanding the teaching process through a journey, in order to study the representative role of university in the historical heritage and to make students (from planning, heritage management, architecture, geography, sociology, history or engineering areas) be compromised on searching strategies for sustainable development in the Contemporary City.

Conserving farm lands : planning for soil-erosion control, water conservation and efficient land use /

"Motion pictures" : p. 101-104.

Online Video as a Tool for Planning Education and Engagement: A Content Analysis of U.S. City Planning Departments’ YouTube Channels

Thesis (Master's)--University of Washington, 2016-06

Initiation of evasive manoeuvres during self-motion: a test of three hypotheses

To understand performance of evasive and interceptive actions it is important to know how people decide when to initiate a movement - initiating at the 'right' moment is often essential for successful performance. It has been proposed that initiation is triggered when a perceptually derived quantity reaches an invariant criterion value. Candidate quantities include time-to-collision (TTC), distance, and rate of image expansion ( ROE), all of which have received empirical support. We studied initiation of an evasive manoeuvre in a computer-simulated steering task in which the observer was required to steer through a stationary visual environment and avoid colliding with an obstacle in their path. The results could not be explained by hypotheses which propose that evasive manoeuvre initiation is based on a fixed criterion value of TTC or distance. The overall pattern was, however, consistent with the use of a criterion ROE value. This was further tested by analyses designed to directly evaluate whether the ROE value used to initiate the response was the same across experimental conditions. Only two of the six participants showed evidence for using the ROE strategy.

A path-dependent contingent-claims approach to capacity investments

This note presents a contingent-claims approach to strategic capacity planning. We develop models for capacity choice and expansion decisions in a single firm environment where investment is irreversible and demand is uncertain. These models illustrate specifically the relevance of path-dependent options analysis to planning capacity investments when the firm adopts demand tracking or average capacity strategies. It is argued that Asian/average type real options can explain hysteresis phenomena in addition to providing superior control of assets in place.

A multivariate examination of the relationship between strategic planning and organisational performance

Strategic planning and more specifically, the impact of strategic planning on organisational performance has been the subject of significant academic interest since the early 1970's. However, despite the significant amount of previous work examining the relationship between strategic planning and organisational performance, a comprehensive literature review identified a number of areas where contributions to the domain of study could be made. In overview, the main areas for further study identified from the literature review were a) a further examination of both the dimensionality and conceptualisation of strategic planning and organisational performance and b) a further, multivariate, examination of the relationship between strategic planning and performance, to capture the newly identified dimensionality. In addition to the previously identified strategic planning and organisational performance constructs, a comprehensive literature based assessment was undertaken and five main areas were identified for further examination, these were a) organisational b) comprehensive strategic choice, c) the quality of strategic options generated, d) political behavior and e) implementation success. From this, a conceptual model incorporating a set of hypotheses to be tested was formulated. In order to test the conceptual model specified and also the stated hypotheses, data gathering was undertaken. The quantitative phase of the research involved a mail survey of senior managers in medium to large UK based organisations, of which a total of 366 fully useable responses were received. Following rigorous individual construct validity and reliability testing, the complete conceptual model was tested using latent variable path analysis. The results for the individual hypotheses and also the complete conceptual model were most encouraging. The findings, theoretical and managerial implications, limitations and directions for future research are discussed.

Weak Convergence to the Tangent Process of the Linear Multifractional Stable Motion

2000 Mathematics Subject Classification: 60G18, 60E07

The impact of information technology on organizations: A study of enterprise resource planning system influences on job design and organizational culture

The primary purpose of this research is to study the linkage between perceived job design characteristics and information system environment characteristics before and after the replacement of a legacy information system with a new type of information system (referred to as an Enterprise Resource Planning or ERP system). A public state University implementing an academic version of an ERP system was selected for the study. Three survey instruments were used to examine the perception of the information system, the job characteristics, and the organizational culture before and after the system implementation. The research participants included two large departments resulting in a sample of 130 workers. Research questions were analyzed using multivariate procedures including factor analysis, path analysis, step-wise regression, and matched pair analysis. ^ Results indicated that the ERP system has introduced new elements into the working environment that has changed the perception of how the job design characteristics and organization culture dimensions are viewed by the workers. The understanding of how the perceived system characteristics align with an individual's perceived job design characteristics is supported by each of the system characteristics significantly correlated in the proposed direction. The stronger support of this relationship becomes visible in the causal flow of the effects seen in the path diagram and in the step-wise regression. The perceived job design characteristics aligning with dimensions of organizational culture are not as strong as the literature suggests. Although there are significant correlations between the job and culture variables, only one relationship can be seen in the causal flow. ^ This research has demonstrated that system characteristics of ERP do contribute to the perception of change in an organization and do support organizational culture behaviors and job characteristics. ^

Peru’s Shining Path: Recent Dynamics and Future Prospects

Although soundly defeated in the early to mid-1990s, Shining Path (Sendero Luminoso) did not disappear. Over the past five years, it has reemerged in a substantially different form, with both a military and a political component. The organization, once again coordinated by jailed leader Abimael Guzmán Reynoso, has eschewed shorter-term military objectives in favor of a longer-term strategy of slowly rebuilding popular support and establishing a party within the Peruvian political system. In so doing, it has also moved from extreme Maoist ideological rigidity to a more pragmatic, though perhaps only tactical, approach. Financial support is derived once again from cocaine production and trafficking in the Upper Huallaga Valley (UHV). Although there may be some individual exceptions, Shining Path is not a narcoterrorist organization. At the same time, Sendero is still very small, in no way a threat to the Peruvian state, and divided. The Lima-based political organization and the military wing in the UHV continue to follow Guzmán‟s leadership, while the Apurímac-Ene Valleys (VRAE) group remains committed to the armed struggle. The Government of Peru (GOP) response to date, both military and civilian, has been inadequate. VRAE military operations are hampered by poor leadership, ill-trained troops, and an outdated strategy. VRAE development resources have been cut, and the long-promised paved road remains in the planning stage. Without significant GOP adjustments, Shining Path is likely to continue to grow.

Sensor Planning for Bayesian Nonparametric Target Modeling

Bayesian nonparametric models, such as the Gaussian process and the Dirichlet process, have been extensively applied for target kinematics modeling in various applications including environmental monitoring, traffic planning, endangered species tracking, dynamic scene analysis, autonomous robot navigation, and human motion modeling. As shown by these successful applications, Bayesian nonparametric models are able to adjust their complexities adaptively from data as necessary, and are resistant to overfitting or underfitting. However, most existing works assume that the sensor measurements used to learn the Bayesian nonparametric target kinematics models are obtained a priori or that the target kinematics can be measured by the sensor at any given time throughout the task. Little work has been done for controlling the sensor with bounded field of view to obtain measurements of mobile targets that are most informative for reducing the uncertainty of the Bayesian nonparametric models. To present the systematic sensor planning approach to leaning Bayesian nonparametric models, the Gaussian process target kinematics model is introduced at first, which is capable of describing time-invariant spatial phenomena, such as ocean currents, temperature distributions and wind velocity fields. The Dirichlet process-Gaussian process target kinematics model is subsequently discussed for modeling mixture of mobile targets, such as pedestrian motion patterns.

Novel information theoretic functions are developed for these introduced Bayesian nonparametric target kinematics models to represent the expected utility of measurements as a function of sensor control inputs and random environmental variables. A Gaussian process expected Kullback Leibler divergence is developed as the expectation of the KL divergence between the current (prior) and posterior Gaussian process target kinematics models with respect to the future measurements. Then, this approach is extended to develop a new information value function that can be used to estimate target kinematics described by a Dirichlet process-Gaussian process mixture model. A theorem is proposed that shows the novel information theoretic functions are bounded. Based on this theorem, efficient estimators of the new information theoretic functions are designed, which are proved to be unbiased with the variance of the resultant approximation error decreasing linearly as the number of samples increases. Computational complexities for optimizing the novel information theoretic functions under sensor dynamics constraints are studied, and are proved to be NP-hard. A cumulative lower bound is then proposed to reduce the computational complexity to polynomial time.

Three sensor planning algorithms are developed according to the assumptions on the target kinematics and the sensor dynamics. For problems where the control space of the sensor is discrete, a greedy algorithm is proposed. The efficiency of the greedy algorithm is demonstrated by a numerical experiment with data of ocean currents obtained by moored buoys. A sweep line algorithm is developed for applications where the sensor control space is continuous and unconstrained. Synthetic simulations as well as physical experiments with ground robots and a surveillance camera are conducted to evaluate the performance of the sweep line algorithm. Moreover, a lexicographic algorithm is designed based on the cumulative lower bound of the novel information theoretic functions, for the scenario where the sensor dynamics are constrained. Numerical experiments with real data collected from indoor pedestrians by a commercial pan-tilt camera are performed to examine the lexicographic algorithm. Results from both the numerical simulations and the physical experiments show that the three sensor planning algorithms proposed in this dissertation based on the novel information theoretic functions are superior at learning the target kinematics with

little or no prior knowledge

Dynamically balanced and plausible trajectory planning for human-like characters

International audience

Planning and assessment techniques for spine surgeries

The rate of diagnosis and treatment of degenerative spine disorders is increasing, increasing the need for surgical intervention. Posterior spine fusion is one surgical intervention used to treat various spine degeneration pathologies To minimize the risk of complications and provide patients with positive outcomes, preoperative planning and postsurgical assessment are necessary. This PhD aimed to investigate techniques for the surgical planning and assessment of spine surgeries. Three main techniques were assessed: stereophotogrammetric motion analysis, 3D printing of complex spine deformities and finite element analysis of the thoracolumbar spine. Upon reviewing the literature on currently available spine kinematics protocol, a comprehensive motion analysis protocol to measure the multi-segmental spine motion was developed. Using this protocol, the patterns of spine motion in patients before and after posterior spine fixation was mapped. The second part investigated the use of virtual and 3D printed spine models for the surgical planning of complex spine deformity correction. Compared to usual radiographic images, the printed model allowed optimal surgical intervention, reduced surgical time and provided better surgeon-patient communication. The third part assessed the use of polyetheretherketone rods auxiliary to titanium rods to reduce the stiffness of posterior spine fusion constructs. Using a finite element model of the thoracolumbar spine, the rods system showed a decrease in the overall stress of the uppermost instrumented vertebra when compared to regular fixation approaches. Finally, a retrospective biomechanical assessment of a lumbopelvic reconstruction technique was investigated to assess the patients' gait following the surgery, the implant deformation over the years and the extent of bony fusion between spine and implant. In conclusion, this thesis highlighted the need to provide surgeons with new planning and assessment techniques to better understand postsurgical complications. The methodologies investigated in this project can be used in the future to establish a patient-specific planning protocol.