Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
See detailGestural Interfaces for Elderly Users - Help or Hindrance?
Stossel, Christian UL

Doctoral thesis (2012)

Detailed reference viewed: 116 (1 UL)
Full Text
Peer Reviewed
See detailGigaSOM.jl: High-performance clustering and visualization of huge cytometry datasets
Kratochvil, Miroslav UL; Hunewald, Oliver; Heirendt, Laurent UL et al

in GigaScience (2020), 9(11),

Background: The amount of data generated in large clinical and phenotyping studies that use single-cell cytometry is constantly growing. Recent technological advances allow the easy generation of data ... [more ▼]

Background: The amount of data generated in large clinical and phenotyping studies that use single-cell cytometry is constantly growing. Recent technological advances allow the easy generation of data with hundreds of millions of single-cell data points with >40 parameters, originating from thousands of individual samples. The analysis of that amount of high-dimensional data becomes demanding in both hardware and software of high-performance computational resources. Current software tools often do not scale to the datasets of such size; users are thus forced to downsample the data to bearable sizes, in turn losing accuracy and ability to detect many underlying complex phenomena. Results: We present GigaSOM.jl, a fast and scalable implementation of clustering and dimensionality reduction for flow and mass cytometry data. The implementation of GigaSOM.jl in the high-level and high-performance programming language Julia makes it accessible to the scientific community and allows for efficient handling and processing of datasets with billions of data points using distributed computing infrastructures. We describe the design of GigaSOM.jl, measure its performance and horizontal scaling capability, and showcase the functionality on a large dataset from a recent study. Conclusions: GigaSOM.jl facilitates the use of commonly available high-performance computing resources to process the largest available datasets within minutes, while producing results of the same quality as the current state-of-art software. Measurements indicate that the performance scales to much larger datasets. The example use on the data from a massive mouse phenotyping effort confirms the applicability of GigaSOM.jl to huge-scale studies. [less ▲]

Detailed reference viewed: 73 (6 UL)
Full Text
Peer Reviewed
See detailGlobal analysis of piecewise linear systems using impact maps and quadratic surface Lyapunov functions
Goncalves, Jorge UL; Megretski, A.; Dahleh, M.

in IEEE Transactions on Automatic Control (2003), 48(12), 2089-2106

This paper presents an entirely new constructive global analysis methodology for a class of hybrid systems known as piecewise linear systems (PLS). This methodology infers global properties of PLS solely ... [more ▼]

This paper presents an entirely new constructive global analysis methodology for a class of hybrid systems known as piecewise linear systems (PLS). This methodology infers global properties of PLS solely by studying the behavior at switching surfaces associated with PLS. The main idea is to analyze impact maps, i.e., maps from one switching surface to the next switching surface. Such maps are known to be “unfriendly” maps in the sense that they are highly nonlinear, multivalued, and not continuous. We found, however, that an impact map induced by an linear time-invariant flow between two switching surfaces can be represented as a linear transformation analytically parametrized by a scalar function of the state. This representation of impact maps allows the search for surface Lyapunov functions (SuLF) to be done by simply solving a semidefinite program, allowing global asymptotic stability, robustness, and performance of limit cycles and equilibrium points of PLS to be efficiently checked. This new analysis methodology has been applied to relay feedback, on/off and saturation systems, where it has shown to be very successful in globally analyzing a large number of examples. In fact, it is still an open problem whether there exists an example with a globally stable limit cycle or equilibrium point that cannot be successfully analyzed with this new methodology. Examples analyzed include systems of relative degree larger than one and of high dimension, for which no other analysis methodology could be applied. This success in globally analyzing certain classes of PLS has shown the power of this new methodology, and suggests its potential toward the analysis of larger and more complex PLS. [less ▲]

Detailed reference viewed: 172 (1 UL)
Full Text
Peer Reviewed
See detailGlobal analysis of piecewise linear systems using impact maps and quadratic surface Lyapunov functions
Goncalves, Jorge UL; Megretski, A.; Dahleh, M. A.

in Proceedings of the European Control Conference (ECC) 2001 (2001)

In this paper we develop an entirely new constructive global analysis methodology for a class of hybrid systems known as Piecewise Linear Systems (PLS). This methodology consists in inferring global ... [more ▼]

In this paper we develop an entirely new constructive global analysis methodology for a class of hybrid systems known as Piecewise Linear Systems (PLS). This methodology consists in inferring global properties of PLS solely by studying their behavior at switching surfaces associated with PLS. The main idea is to analyze impact maps, i.e., maps from one switching surface to the next switching surface, by constructing quadratic Lyapunov functions on switching surfaces. We found that an impact map induced by an LTI flow between two switching surfaces can be represented as a linear transformation analytically parameterized by a scalar function of the state. This representation of impact maps allows the search for quadratic surface Lyapunov functions to be done by simply solving a set of LMIs. Global asymptotic stability, robustness, and performance of limit cycles and equilibrium points of PLS can this way be efficiently checked. These new results were successfully applied to certain classes of PLS. Although this analysis methodology yields only sufficient criteria of stability, it has shown to be very successful in globally analyzing a large number of examples with a locally stable limit cycle or equilibrium point. In fact, it is still an open problem whether there exists an example with a globally stable limit cycle or equilibrium point that cannot be successfully analyzed with this new methodology. Examples analyzed include systems of relative degree larger than one and of high dimension, for which no other analysis methodology could be applied. [less ▲]

Detailed reference viewed: 103 (0 UL)
Full Text
Peer Reviewed
See detailGlobal Asymptotic Stability of Oscillations with Sliding Modes
Goncalves, Jorge UL

in Proceedings of the 15th IFAC World Congress (2003)

This paper explores a new methodology based on quadratic surface Lyapunov functions to globally analyze oscillations with sliding modes in relay feedback systems (RFS). The method consists in efficiently ... [more ▼]

This paper explores a new methodology based on quadratic surface Lyapunov functions to globally analyze oscillations with sliding modes in relay feedback systems (RFS). The method consists in efficiently construct quadratic Lyapunov functions on switching surfaces that can be used to show that impact maps, i.e., maps from one switch to the next, are contracting. This, in turn, shows that the system is globally stable. Several classes of piecewise linear systems (PLS) were previously successfully analyzed with this methodology. In this paper, we consider PLS whose trajectories switch between subsystems of different dimensions. We present and discuss distinct relaxations leading to sufficient conditions of different conservatism and computationally complexity. The results in this paper open the door to the analysis of other, more complex classes of PLS. [less ▲]

Detailed reference viewed: 110 (0 UL)
Full Text
Peer Reviewed
See detailGlobal asymptotic stability of the limit cycle in piecewise linear versions of the Goodwin oscillator
Salinas Varela, A. A.; Stan, G. B. V.; Goncalves, Jorge UL

in Proceedings of the 17th IFAC World Congress (2008)

Conditions in the form of linear matrix inequalities (LMIs) are used in this paper to guarantee the global asymptotic stability of a limit cycle oscillation for a class of piecewise linear (PWL) systems ... [more ▼]

Conditions in the form of linear matrix inequalities (LMIs) are used in this paper to guarantee the global asymptotic stability of a limit cycle oscillation for a class of piecewise linear (PWL) systems defined as the feedback interconnection of a saturation controller with a single input, single output (SISO) linear time-invariant (LTI) system. The proposed methodology extends previous results on impact maps and surface Lyapunov functions to the case when the sets of expected switching times are arbitrarily large. The results are illustrated on a PWL version of the Goodwin oscillator. [less ▲]

Detailed reference viewed: 235 (0 UL)
Full Text
Peer Reviewed
See detailGlobal energy minimization for multi-crack growth in linear elastic fracture using the extended finite element method
Bordas, Stéphane UL

Scientific Conference (2014, April 02)

We investigate multiple fracture evolution under quasi-static conditions in an isotropic linear elastic solid based on the principle of minimum potential elastic energy in the framework of the extended ... [more ▼]

We investigate multiple fracture evolution under quasi-static conditions in an isotropic linear elastic solid based on the principle of minimum potential elastic energy in the framework of the extended finite element method. The technique enables a minimization of the potential energy with respect to all crack increment directions. Results show that the maximum hoop stress criterion and the energy minimization approach converge to the same fracture path. It is found that the converged solution lies in between the fracture paths obtained by each criterion for coarser meshes. This presents an opportunity to estimate an upper and lower bound of the true fracture path as well as an error on the crack path [less ▲]

Detailed reference viewed: 308 (15 UL)
Full Text
See detailGlobal energy minimization for multiple fracture growth
Sutula, Danas; Bordas, Stéphane UL

Report (2013)

Detailed reference viewed: 233 (5 UL)
Full Text
Peer Reviewed
See detailA global optimization heuristic for the decomposed static anticipatory network traffic control problem anticipatory network traffic control problem
Rinaldi, Marco UL; Tampére, Chris; Viti, Francesco UL

in Transportation Research Procedia (2017)

Developing traffic control strategies taking explicitly into account the route choice behavior of users has been widely recognized irregularities in the solution space shape, such as non-convexity and non ... [more ▼]

Developing traffic control strategies taking explicitly into account the route choice behavior of users has been widely recognized irregularities in the solution space shape, such as non-convexity and non-smoothness. In this work, we propose an extended as a very challenging problem. Furthermore, the inclusion of user behavior in optimization based control schemes introduces strong decomposition scheme for the anticipatory traffic control problem, based upon our previous contributions, which aims at i) reducing irregularities in the solution space shape, such as non-convexity and non-smoothness. In this work, we propose an extended the computational complexity of the problem by approaching it in a controller-by-controller fashion, and ii) internalizing specific decomposition scheme for the anticipatory traffic control problem, based upon our previous contributions, which aims at i) reducing constraints in the objective function, guiding the optimization process away from non-significant minima, such as flat regions. the computational complexity of the problem by approaching it in a controller-by-controller fashion, and ii) internalizing specific Through two small scale test networks and different, randomly chosen initial points, we compare how the proposed extension constraints in the objective function, guiding the optimization process away from non-significant minima, such as flat regions. influences optimization results with respect to our previously developed decomposed approach, as well as centralized schemes. Through two small scale test networks and different, randomly chosen initial points, we compare how the proposed extension influences optimization results with respect to our previously developed decomposed approach, as well as centralized schemes. [less ▲]

Detailed reference viewed: 51 (2 UL)
Full Text
Peer Reviewed
See detailGlobal stability analysis of on/off systems
Goncalves, Jorge UL

in Proceedings of the 39th IEEE Conference on Decision and Control (2000)

This paper considers quadratic surface Lyapunov functions in the study of global stability analysis of on/off systems (OFS), including those OFS with unstable nonlinearity sectors. In previous work ... [more ▼]

This paper considers quadratic surface Lyapunov functions in the study of global stability analysis of on/off systems (OFS), including those OFS with unstable nonlinearity sectors. In previous work, quadratic surface Lyapunov functions were successfully applied to prove global asymptotic stability of limit cycles of relay feedback systems. In this work, we show that these ideas can be used to prove global asymptotic stability of equilibrium points of piecewise linear systems (PLS). We present conditions in the form of LMI that, when satisfied, guarantee global asymptotic stability of an equilibrium point. A large number of examples was successfully proven globally stable. These include systems with an unstable affine linear subsystem, systems of relative degree larger than one and of high dimension, and systems with unstable nonlinearity sectors, for which all classical fail to analyze. In fact, existence of an example with a globally stable equilibrium point that could not be successfully analyzed with this new methodology is still an open problem. This work opens the door to the possibility that more general PLS can be systematically globally analyzed using quadratic surface Lyapunov functions. [less ▲]

Detailed reference viewed: 123 (1 UL)
Full Text
Peer Reviewed
See detailGlobal stability of relay feedback systems
Goncalves, Jorge UL; Megretski, A.; Dahleh, M. A.

in IEEE Transactions on Automatic Control (2001), 46(4), 550--562

For a large class of relay feedback systems (RFS) there will be limit cycle oscillations. Conditions to check existence and local stability of limit cycles for these systems are well known. Global ... [more ▼]

For a large class of relay feedback systems (RFS) there will be limit cycle oscillations. Conditions to check existence and local stability of limit cycles for these systems are well known. Global stability conditions, however, are practically nonexistent. This paper presents conditions in the form of linear matrix inequalities (LMIs) that, when satisfied, guarantee global asymptotic stability of limit cycles induced by relays with hysteresis in feedback with linear time-invariant (LTI) stable systems. The analysis consists in finding quadratic surface Lyapunov functions for Poincaré maps associated with RFS. These results are based on the discovery that a typical Poincaré map induced by an LTI flow between two hyperplanes can be represented as a linear transformation analytically parametrized by a scalar function of the state. Moreover, level sets of this function are convex subsets of linear manifolds. The search for quadratic Lyapunov functions on switching surfaces is done by solving a set of LMIs. Although this analysis methodology yields only a sufficient criterion of stability, it has proved very successful in globally analyzing a large number of examples with a unique locally stable symmetric unimodal limit cycle. In fact, it is still an open problem whether there exists an example with a globally stable symmetric unimodal limit cycle that could not be successfully analyzed with this new methodology. Examples analyzed include minimum-phase systems, systems of relative degree larger than one, and of high dimension. Such results lead us to believe that globally stable limit cycles of RFS frequently have quadratic surface Lyapunov functions. [less ▲]

Detailed reference viewed: 123 (0 UL)
Full Text
Peer Reviewed
See detailGlobal stability of relay feedback systems
Goncalves, Jorge UL; Megretski, A.; Dahleh, M. A.

in Proceedings of the IEEE American Control Conference (2000 ACC) (2000)

For a large class of relay feedback systems (RFS) there will be limit cycle oscillations. Conditions to check existence and local stability of limit cycles for these systems are well known. Global ... [more ▼]

For a large class of relay feedback systems (RFS) there will be limit cycle oscillations. Conditions to check existence and local stability of limit cycles for these systems are well known. Global stability conditions, however, are practically non-existent. The paper presents conditions in the form of linear matrix inequalities (LMIs) that guarantee global asymptotic stability of a limit cycle induced by a relay with hysteresis in feedback with an LTI stable system. The analysis is based on finding global quadratic Lyapunov functions for a Poincare map associated with the RFS. We found that a typical Poincare map induced by an LTI flow between two hyperplanes can be represented as a linear transformation analytically parametrized by a scalar function of the state. Moreover, level sets of this function are convex. The search for globally quadratic Lyapunov functions is then done by solving a set of LMIs. Most examples of RFS analyzed by the authors were proven globally stable. Systems analyzed include minimum-phase systems, systems of relative degree larger than one, and of high dimension. This leads us to believe that quadratic stability of associated Poincare maps is common in RFS. [less ▲]

Detailed reference viewed: 124 (0 UL)
Full Text
Peer Reviewed
See detailGlobal State Synchronization in Networks of Cyclic Feedback Systems
Hamadeh, Abdullah; Stan, Guy-Bart; Sepulchre, Rodolphe et al

in IEEE Transactions on Automatic Control (2012), 57(2), 478-483

This technical note studies global asymptotic state synchronization in networks of identical systems. Conditions on the coupling strength required for the synchronization of nodes having a cyclic feedback ... [more ▼]

This technical note studies global asymptotic state synchronization in networks of identical systems. Conditions on the coupling strength required for the synchronization of nodes having a cyclic feedback structure are deduced using incremental dissipativity theory. The method takes advantage of the incremental passivity properties of the constituent subsystems of the network nodes to reformulate the synchronization problem as one of achieving incremental passivity by coupling. The method can be used in the framework of contraction theory to constructively build a contracting metric for the incremental system. The result is illustrated for a network of biochemical oscillators. [less ▲]

Detailed reference viewed: 107 (0 UL)
Full Text
Peer Reviewed
See detailA goal-oriented reduced basis method for the wave equation in inverse analysis
Hoang, Khac Chi; Kerfriden, Pierre; Bordas, Stéphane UL

in International Conference on Computational Mechanics CM13 Proceedings (2013, March)

In this paper, we extend the reduced-basis methods developed earlier for wave equations to goal-oriented wave equations with a ne parameter dependence. The essential new ingredient is the dual (or adjoint ... [more ▼]

In this paper, we extend the reduced-basis methods developed earlier for wave equations to goal-oriented wave equations with a ne parameter dependence. The essential new ingredient is the dual (or adjoint) problem and the use of its solution in a sampling procedure to pick up “goal-orientedly” parameter samples. First, we introduce the reduced-basis recipe — Galerkin projection onto a space YN spanned by the reduced basis functions which are constructed from the solutions of the governing partial di erential equation at several selected points in parameter space. Second, we propose a new “goal-oriented” Proper Orthogonal Decomposition (POD)–Greedy sampling procedure to construct these associated ba-sis functions. Third, based on the assumption of a ne parameter dependence, we use the o ine-online computational procedures developed earlier to split the computational procedure into o ine and online stages. We verify the proposed computational procedure by applying it to a three-dimensional simulation dental implant problem. The good numeri-cal results show that our proposed procedure performs better than the standard POD–Greedy procedure in terms of the accuracy of output functionals. [less ▲]

Detailed reference viewed: 279 (3 UL)
Full Text
Peer Reviewed
See detailA gradient weighted extended finite element method (GW-XFEM) for fracture mechanics
Feng, S. Z.; Bordas, Stéphane UL; Han, X. et al

in Acta Mechanica (2019), 230

In this study, a gradient weighted extended finite element method (GW-XFEM) is presented for the analysis of fracture problems. For this method, the domain discretization is the same as the standard XFEM ... [more ▼]

In this study, a gradient weighted extended finite element method (GW-XFEM) is presented for the analysis of fracture problems. For this method, the domain discretization is the same as the standard XFEM. However, the gradient field is constructed by considering the influences of the element itself and its adjacent elements. Based on the Shepard interpolation, the weighted strain filed can be obtained, which will be utilized to construct the discretized system equations. The validity of the presented method is fully investigated through several numerical examples. From these results, it is shown that compared with standard XFEM, the presented method can achieve much better accuracy, efficiency and higher convergence, when dealing with fracture analysis. [less ▲]

Detailed reference viewed: 47 (0 UL)
Full Text
Peer Reviewed
See detailGraft materials provide greater static strength to medial opening wedge high tibial osteotomy than when no graft is included
Belsey, James; Diffo Kaze, Arnaud UL; Jobson, Simon et al

in Journal of Experimental Orthopaedics (2019), 6(13),

Background The purpose of this study was to compare the stability of medial opening-wedge high tibial osteotomy (MOWHTO) with and without different graft materials. Good clinical and radiological outcomes ... [more ▼]

Background The purpose of this study was to compare the stability of medial opening-wedge high tibial osteotomy (MOWHTO) with and without different graft materials. Good clinical and radiological outcomes have been demonstrated when either using or not using graft materials during MOWHTO. Variations in the biomechanical properties of different graft types, regarding the stability they provide a MOWHTO, have not been previously investigated. Methods A 10 mm biplanar MOWHTO was performed on 15 artificial sawbone tibiae, which were fixed using the Activmotion 2 plate. Five bones had OSferion60 wedges (synthetic group), five had allograft bone wedges (allograft group), and five had no wedges (control group) inserted into the osteotomy gap. Static compression was applied axially to each specimen until failure of the osteotomy. Ultimate load, horizontal and vertical displacements were measured and used to calculate construct stiffness and valgus malrotation of the tibial head. Results The synthetic group failed at 6.3 kN, followed by the allograft group (6 kN), and the control group (4.5 kN). The most valgus malrotation of the tibial head was observed in the allograft group (2.6°). The synthetic group showed the highest stiffness at the medial side of the tibial head (9.54 kN·mm− 1), but the lowest stiffness at the lateral side (1.59 kN·mm-1). The allograft group showed high stiffness on the medial side of the tibial head (7.54 kN·mm− 1) as well as the highest stiffness on the lateral side (2.18 kN·mm− 1). Conclusions The use of graft materials in MOWHTO results in superior material properties compared to the use of no graft. The static strength of MOWHTO is highest when synthetic grafts are inserted into the osteotomy gap. Allograft wedges provide higher mechanical strength to a MOWHTO than when no graft used. In comparison to the synthetic grafts, allograft wedges result in the stiffness of the osteotomy being more similar at the medial and lateral cortices. [less ▲]

Detailed reference viewed: 111 (4 UL)
Full Text
Peer Reviewed
See detailGraphviz e TikZ
Fiandrino, Claudio UL

in Ars TeXnica (2012), 13

Graphviz is a very powerful tool to draw graphs. This article tries to explain how to export such graphs as a TikZ picture in a very simple way.

Detailed reference viewed: 135 (8 UL)
Full Text
Peer Reviewed
See detailGreener and larger neighbourhoods make cities more sustainable! A 2D urban economics perspective
Caruso, Geoffrey UL; Cavailhès, Jean; Peeters, Dominique et al

in Computers, Environment and Urban Systems (2015), 54

We analyse urban growth forms by means of a 2D microeconomic model where households value green space at neighbourhood scale. We analytically demonstrate that cities can grow more densely when households ... [more ▼]

We analyse urban growth forms by means of a 2D microeconomic model where households value green space at neighbourhood scale. We analytically demonstrate that cities can grow more densely when households have the possibility to enlarge the neighbourhood in which they value green space, thus emphasizing the importance of neighbourhood planning in particular for facilitating short trips and views of green amenities. We also show by simulation that the size and form of the city, relative to the size and form of neighbourhoods, impact on the decision of households to leapfrog land or not, thus impacting on the emergence of scattered urbanisation patterns. We conclude that carefully addressing the spatial arrangement of green space and buildings and facilitating trips within neighbourhood units constitute an effective policy lever and an attractive way to deliver more sustainable cities. We further argue that our theoretical experiment with complementary analytical and computer-based simulation provides micro-economic reasoning to the main elements of the Garden City and neighbourhood unit planning concepts. [less ▲]

Detailed reference viewed: 379 (48 UL)