FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification

Perez, J.; Jiménez, Jaime; Rabanal, Asier; Astarloa, Armando; Lázaro, Jesús

doi:10.1109/tii.2014.2307531

Cited by 8 publications

(3 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Most real-world physical systems are stochastic in nature, both in terms of process noise and observations noise. To deal with uncertainty in the stream/signal values it is common in the runtime verification literature to either have error margins in the formulas or to use fuzzy logic for expressing the formulas [95,96]. Neither approach considers the probability-theoretic modeling of the uncertainty in the causal physical system and the stochastic signals they produce.…”

Section: Stream Reasoning Over Uncertain Informationmentioning

confidence: 99%

Safety-Aware Autonomous Systems : Preparing Robots for Life in the Real World

Tiger

2022

Linköping Studies in Science and Technology. Dissertations

View full text Add to dashboard Cite

Konkret presenterar avhandlingen nya sätt att effektivt realisera säker rörelseplanering och säker exekvering av rörelseplaner i geometriskt komplexa och dynamiska miljöer. Detta genom att kombinera optimal styrning, AI-planering, robust maskininlärning och automatisk slutsatsdragning över osäkra signaler. Experiment har utförts på riktiga och simulerade DJI M100 (quadcopter), men metoden är generell och beror inte på om roboten flyger, åker eller går. Avhandlingen går även in på hur man genom kombination av probabilistisk maskininlärning och formell runtime-verifiering kan göra autonoma system säkrare och robustare, exempelvis genom att identifiera anomalier så som hårdvaruförsämring, för stark vind, illasinnat övertagande och oförutsägbarhet av eget och andras beteenden. Dessa metoder möjliggör övervakning av att systemet förblir konsekvent (och säkert), mellan exempelvis perception, förväntan, beslut, planering och handling. Målet med avhandlingen är att bidra till en säkrare och pålitligare användning av autonoma system i vår värld, genom design av säkerhetsmedvetna autonoma system.

show abstract

Section: Stream Reasoning Over Uncertain Informationmentioning

confidence: 99%

Safety-Aware Autonomous Systems : Preparing Robots for Life in the Real World

Tiger

2022

Linköping Studies in Science and Technology. Dissertations

View full text Add to dashboard Cite

show abstract

“…2 Fold can be used to bundle a set of events. It can also implement advanced event pattern identification algorithms like Complex Event Processing (CEP) (Luckham (2002)) or real-time languages (Perez et al (2014)). CEP formalizes how patterns and knowledge are identified from a flow of low-level events, which results in high-level events (Cugola and Margara (2012)).…”

Section: Definition 4 (Fold) a Fold Transformation Is A Functionmentioning

confidence: 99%

An Event-Driven Manufacturing Information System Architecture

Theorin

Bengtsson²,

Provost

et al. 2015

IFAC-PapersOnLine

View full text Add to dashboard Cite

Future manufacturing systems need to be more flexible, to embrace tougher and constantly changing market demands. They also need to make better use of plant data, ideally utilizing all data from the entire plant. Low-level data should be refined to real-time information for decision making, to facilitate competitiveness through informed and timely decisions. The Line Information System Architecture, LISA, is designed to enable flexible factory integration and data utilization. In LISA, international standards and established off-the-shelf technologies have been combined with the main objective to be industrially applicable. LISA is an event-driven architecture with a prototype-oriented information model and formalized transformation services. It features loose coupling, flexibility, and ease of retrofitting legacy devices. The architecture has been evaluated on both real industrial data and industrial demonstrators and is also being installed at a large automotive company.

show abstract

“…Fold is often used to aggregate a set of events into a EVAH message. Fold transformations can also implement advanced event pattern identification algorithms like complex event processing (CEP) [21] or real-time languages [25]. CEP is a concept that tries to formalize how patterns and "knowledge" are identified from a flow of lower-level events, which are then sent out as higher-level events.…”

Section: Definition 6 (Fold)mentioning

confidence: 99%

Patient coordination in emergency departments using an event-based information architecture

Bengtsson¹,

Lennartson

2014

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)

View full text Add to dashboard Cite

It is challenging to get an overview and understanding of the activities and their relations at an emergency department (ED). This is due to the complicated relations among activities − called operations in this paper − and the always changing system behavior. Two key enablers to get this overview are the transformation of real-time events into understandable information and an operation-based behavior description. This paper presents an event-based information architecture for healthcare (EVAH) for gathering state changing events in realtime at an ED and how these are transformed into an operationbased representation. EVAH together with the tool Sequence Planner, will be used for visualization, online prognosis and optimization.

show abstract

FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification

Cited by 8 publications

References 26 publications

Safety-Aware Autonomous Systems : Preparing Robots for Life in the Real World

Safety-Aware Autonomous Systems : Preparing Robots for Life in the Real World

An Event-Driven Manufacturing Information System Architecture

Patient coordination in emergency departments using an event-based information architecture

Contact Info

Product

Resources

About