Source author record

Sven Schneider

Sven Schneider appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Robotics cond-mat.mtrl-sci Formal Languages and Automata Theory

Catalog footprint

What is connected

4works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2023arXiv

b-it-bots RoboCup@Work Team Description Paper 2023

This paper presents the b-it-bots RoboCup@Work team and its current hardware and functional architecture for the KUKA youBot robot. We describe the underlying software framework and the developed capabilities required for operating in industrial environments including features such as reliable and precise navigation, flexible manipulation, robust object recognition and task planning. New developments include an approach to grasp vertical objects, placement of objects by considering the empty space on a workstation, and the process of porting our code to ROS2.

preprint2022arXiv

A comparison of syntheses approaches towards functional polycrystalline silicate ceramics

This study aims to shed light on processing pathways towards functional silicate ceramics, which show some promise in various emerging applications, including dielectrics and bioactive implant materials. Polycrystalline silicate ceramics of Neso, Soro and Inosilicate families were synthesised by three different techniques: (i) a co-precipitation method, (ii) a modified sol-gel method and (iii) standard solid-state reactions. Co-precipitated samples show increased sintering and densification behaviour compared to sol-gel and solid-state methods, with diametral shrinkage values during sintering of 28.8%, 13.3% and 25.0%, respectively. Well-controlled phase formation in these ceramics was most readily achieved through the steric entrapment of cations and shorter diffusion pathways afforded by the modified Pechini-type sol-gel method. Substituting Zn2+ for Mg2+ in enstatite samples was found to enhance the formation of orthoenstatite during cooling, which is otherwise very slow. We present guidelines for the design of synthesis methods that consider the requirements for different functional silicate ceramics in terms of phase formation and microstructure.

preprint2014arXiv

Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata

We present an algorithm which modifies a deterministic pushdown automaton (DPDA) such that (i) the marked language is preserved, (ii) lifelocks are removed, (iii) deadlocks are removed, (iv) all states and edges are accessible, and (v) operational blockfreeness is established (i.e., coaccessibility in the sense that every initial derivation can be continued to a marking configuration). This problem can be trivially solved for deterministic finite automata (DFA) but is not solvable for standard petri net classes. The algorithm is required for an operational extension of the supervisory control problem (SCP) to the situation where the specification in modeled by a DPDA.

preprint2014arXiv

Towards a Robot Perception Specification Language

In this paper we present our work in progress towards a domain-specific language called Robot Perception Specification Language (RPSL). RSPL provide means to specify the expected result (task knowledge) of a Robot Perception Architecture in a declarative and framework-independent manner.