Search
Results
-
Vibration Isolation Capabilities of a Low-Cost Seismic Isolation System Based on Elastomeric Rolling Spheres for Masonry Structures
(2024)RILEM Bookseries ~ Structural Analysis of Historical ConstructionsIn recent years, seismic isolation has been used as an effective retrofit technique to protect historical buildings and structures against earthquakes. However, for some isolation devices, man-induced low-amplitude vibrations (e.g., construction activities, vehicle, and rail traffic) can still be directly transmitted to the structure. These vibrations can cause damage and deteriorate structural elements if they persist during extended ...Conference Paper -
Shifting to sharing
(2023)hEART 2023: 11th Symposium of the European Association for Research in TransportationShared mobility is discussed as one potential solution making transportation more sustainable since it can enable a more multi-modal behaviour and provides joint access to vehicle fleets. Research has focused on respective potentials for greenhouse gas (GHG) emission reductions. However, there are more external effects such as land use, accidents or noise that need to be incorporated in analyses. Thus, this work takes a systemic perspective ...Conference Paper -
Soliro - a hybrid dynamic tilt-wing aerial manipulator with minimal actuators
(2023)The ability to enter in contact with and manipulate physical objects with a flying robot enables many novel applications, such as contact inspection, painting, drilling, and sample collection. Generally, these aerial robots need more degrees of freedom than a standard quadrotor. While there is active research of over-actuated, omnidirectional MAVs and aerial manipulators as well as VTOL and hybrid platforms, the two concepts have not been ...Conference Paper -
To Fuse or Not to Fuse: Measuring Consistency in Multi-Sensor Fusion for Aerial Robots
(2023)Aerial vehicles are no longer limited to flying in open space: recent work has focused on aerial manipulation and up-close inspection. Such applications place stringent requirements on state estimation: the robot must combine state information from many sources, including onboard odometry and global positioning sensors. However, flying close to or in contact with structures is a degenerate case for many sensing modalities, and the robot's ...Conference Paper -
Learning to Fly Omnidirectional Micro Aerial Vehicles with an End-To-End Control Network
(2023)Overactuated tilt-rotor platforms offer many advantages over traditional fixed-arm drones, allowing the decoupling of the applied force from the attitude of the robot. This expands their application areas to aerial interaction and manipulation, and allows them to overcome disturbances such as from ground or wall effects by exploiting the additional degrees of freedom available to their controllers. However, the overactuation also complicates ...Conference Paper -
Recent Advancements in Rolling Isolation Systems Using Elastomeric Spheres: Numerical and Experimental Results
(2023)Rolling isolation systems using elastomeric spheres may provide sig-nificant advantages over traditional methods (i.e., rubber bearings or frictional pendulum systems) in terms of cost-efficiency. The concept involves placing elastomeric spheres between the foundation and the superstructure. The spheres can roll and rotate in response to seismic activity, either on a concave surface or a flat one with additional restitutive elements. ...Conference Paper -
Analytical Modelling of the Inelastic Structural Response of RC Bridge Piers Under Train Impact
(2023)Lecture Notes in Civil Engineering ~ Building for the Future: Durable, Sustainable, ResilientThe analysis of impact-related hazards for the design of bridge components in railway perimeters often receives insufficient attention. Code-based design procedures typically depend on equivalent static loads based on basic energy conservation laws ignoring the structural response. This study aims to identify the characteristics of the dynamic behaviour of both the impacting train and the impacted structure and the most influential ...Conference Paper -
Correct and Efficient Policy Monitoring, a Retrospective
(2023)Lecture Notes in Computer Science ~ Automated Technology for Verification and AnalysisThe MonPoly project started over a decade ago to build effective tools for monitoring trace properties, including functional correctness, security, and compliance policies. The original MonPoly tool supported monitoring specifications given in metric first-order temporal logic, an expressive specification language. It handled both the online case, where system events are monitored as they occur, and the offline case, monitoring logs. Our ...Conference Paper -
Metric First-Order Temporal Logic with Complex Data Types
(2023)Lecture Notes in Computer Science ~ Runtime VerificationTemporal logics are widely used in runtime verification as they enable the creation of declarative and compositional specifications. However, their ability to model complex data is limited. One must resort to complicated encoding schemes to express properties involving basic structures such as lists or trees. To avoid this drawback, we extend metric first-order temporal logic with a minimalistic, yet expressive, functional programming ...Conference Paper -
Heart Rate During Sleep Measured Using Finger-, Wrist-and Chest-Worn Devices: A Comparison Study
(2023)Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ~ Pervasive Computing Technologies for HealthcareWearable heart rate (HR) sensing devices are increasingly used to monitor human health. The availability and the quality of the HR measurements may however be affected by the body location at which the device is worn. The goal of this paper is to compare HR data collected from different devices and body locations and to investigate their interchangeability at different stages of the data analysis pipeline. To this goal, we conduct a data ...Conference Paper