A5019241546- Petri Nets in System Modeling
- Formal Methods in Verification
- Stability and Control of Uncertain Systems
- Real-Time Systems Scheduling
- Advanced Control Systems Optimization
- Robotics and Sensor-Based Localization
- Robotic Path Planning Algorithms
- Network Time Synchronization Technologies
- Advanced Vision and Imaging
- Gaze Tracking and Assistive Technology
- Energy Efficient Wireless Sensor Networks
- Underwater Vehicles and Communication Systems
- Indoor and Outdoor Localization Technologies
- Fault Detection and Control Systems
- Distributed Control Multi-Agent Systems
- Advanced Measurement and Detection Methods
- Neural Networks and Applications
- Optical measurement and interference techniques
- Sensor Technology and Measurement Systems
- Model-Driven Software Engineering Techniques
- Flow Measurement and Analysis
- Video Surveillance and Tracking Methods
- Advanced Image and Video Retrieval Techniques
- Control Systems and Identification
- Logic, programming, and type systems
Universidad de Santiago de Chile
2025
Delft University of Technology
2015-2024
Ministério da Justiça
2023
Universidad de Alcalá
2012-2022
University of Colorado Boulder
2022
Imam Sadiq University
2022
Newcastle University
2022
KTH Royal Institute of Technology
2004-2022
California Maritime Academy
2016
University of Groningen
2010-2012
Event-triggered control has been recently proposed as an alternative to the more traditional periodic execution of tasks. In a typical event-triggered implementation, signals are kept constant until violation condition on state plant triggers recomputation signals. The possibility reducing number recomputations, and thus transmissions, while guaranteeing desired levels performance, makes very appealing in context sensor/actuator networks. particular, by network traffic we also reduce energy...
Describes an eye-control method based on electrooculography (EOG) to develop a system for assisted mobility. One of its most important features is modularity, making it adaptable the particular needs each user according type and degree handicap involved. An eye model electrooculographic signal proposed validity studied. Several human-machine interfaces (HMI) EOG are commented, focusing our study guiding controlling wheelchair disabled people, where control actually effected by movements...
Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques for the construction such symbolic have two main drawbacks: either they can only be applied restrictive classes systems, or require exact computation reachable sets. In this paper, we propose new abstraction technique that is applicable any nonlinear sampled-data system long are interested in its behavior compact...
Event-triggered and self-triggered control have been recently proposed as an alternative to the more traditional periodic execution of tasks. The possibility reducing number executions while guaranteeing desired levels performance makes event-triggered very appealing in context sensor/actuator networks. In this setting, times that a feedback law is executed implies reduction transmissions thus energy expenditures. paper we introduce two novel distributed implementations policies over...
Wide deployment of wireless sensor and actuator networks in cyber-physical systems requires systematic design tools to enable dynamic tradeoff network resources control performance. In this paper, we consider three recently proposed aperiodic algorithms which have the potential address problem. By showing how these controllers can be implemented over IEEE 802.15.4 standard, a practical system architecture with guaranteed closed-loop performance is detailed. Event-based predictive hybrid...
Typical digital implementations of feedback controllers periodically measure the state, compute control law, and update actuators. Although periodicity simplifies analysis implementation, it results in a conservative usage resources. In this paper we drop assumption favor self-trigger strategies that decide when to execute controller, actuators according current state system. particular, develop general procedure leading self-triggered controllers, highly reduces number controller executions...
The modularity of the electronic guidance systems SIAMO wheelchair allows for user-specific adaptability based on environment and degree handicap. overall system includes an innovative user-machine interface, a complete sensory subsystem (ultrasonic, infrared, vision, etc), advanced strategy control navigation. This different alternatives guarantees user safety comfort.
In recent applications based on ultrasound, several ultrasonic transducers have been geometrically and electronically associated to constitute a global sensor. There are different methods used process the signals obtained from these transducers. this work, multimode techniques using Golay complementary sequences proposed for processing signal. The system increases scan rate, precision, reliability. It is also capable of echo discrimination, allowing simultaneous measurements be made...
In this paper we present and analyze a novel algorithm to synthesize controllers enforcing linear temporal logic specifications on discrete-time systems. The central step within approach is the computation of maximal controlled invariant set contained in possibly non-convex safe set. Although it known how compute approximations sets, its exact remains an open problem. We provide which computes that guaranteed be under-approximation Moreover, guarantee our approximation at least as good any...
This study evaluates the efficiency of a swarm intelligence algorithm called marriage in honey-bee optimization (MBO) solving single-machine weighted earliness/tardiness problem, type NP-hard combinatorial problem. The goal is to find optimal sequence for completing set tasks on single machine, minimizing total penalty incurred being completed too early or late compared their deadlines. To achieve this goal, adapts MBO metaheuristic by introducing modifications optimize objective function...
With the increasing ubiquity of safety-critical autonomous systems operating in uncertain environments, there is a need for mathematical methods formal verification stochastic models. Towards formally verifying properties systems, based on discrete, finite Markov approximations -- abstractions thereof have surged recent years. These are found contexts where: either a) one only has partial, discrete observations underlying continuous process, or b) original system too complex to analyze, so...
Estimating the expectation of a Bernoulli random variable based on N independent trials is classical problem in statistics, typically addressed using Binomial Proportion Confidence Intervals (BPCI). In control systems community, many critical tasks-such as certifying statistical safety dynamical systems-can be formulated BPCI problems. Conformal Prediction (CP), distribution-free technique for uncertainty quantification, has gained significant attention recent years and been applied to...
Golay sequences and complementary sets of have been long studied for their application in multisensor communication systems. The feasibility these systems strongly depends on the design an efficient generator correlator with aim reducing computational load hardware complexity. Recursive algorithms, which allow architectures, are available case pairs four sequences. This work presents a generalization algorithms purpose obtaining M length L, number being power two (M=2 <sup...
Event-triggered and self-triggered control have recently been proposed as an alternative to periodic implementations of feedback laws over sensor/actuator networks. In event-triggered control, each sensing node continuously monitors the plant in order determine if fresh information should be transmitted law recomputed. general, substantially reduces number exchanged messages when compared with implementations. However, such energy savings must contrasted required perform local computations....
This paper presents a novel method for calibrating line-scan cameras using calibration pattern comprising two parallel planes with lines that can be described known equations. Using geometry and line is captured by camera, we calculate the 3-D coordinates of points corresponding to straight camera. These are used obtain intrinsic extrinsic parameters scan standard procedure based on recursive least squares method. In this paper, results obtained specific will shown; specifically, median...
We propose taking event-triggered control actions to implement decentralized over wireless sensor/actuator networks without requiring synchronized measurement updates. In comparison with the existing results on control, proposed implementation does not rely weak coupling between subsystems, nor it assume synchronization of local clocks or existence a central broadcasting node, and is applicable nonlinear systems. addition, higher energy efficiency at sensors expected because great reduction...